avoid repeated discontiguous messages

2016-05-16 09:35:29 +01:00
parent 87e13a9730
commit 9f2ba2d4fb
3 changed files with 17 additions and 3 deletions
--- a/H/clause.h
+++ b/H/clause.h
@@ -28,6 +28,7 @@ typedef union CONSULT_OBJ {
  int mode;
  Prop p;
  UInt c;
+  Term r;
 } consult_obj;

 /* Either we are assembling clauses or indexing code */