handle slowdown when retracting clauses.

2011-06-24 21:08:22 +01:00
parent d4ed02bdd3
commit e74a25d366
10 changed files with 76 additions and 64 deletions
--- a/H/amidefs.h
+++ b/H/amidefs.h
@@ -362,8 +362,9 @@ typedef struct yami {
      struct yami             *l1;
      struct yami             *l2;
      COUNT                    s;
+      COUNT                    e;
      CELL next;
-    } Ills;
+    } Illss;
    struct {
      struct yami   *l;
      CELL next;