unify indexing of dynamic and static clauses

2012-12-07 23:43:14 +00:00 · 2012-12-07 23:43:14 +00:00 · e05ee9670c
commit e05ee9670c
parent f0b44b9b77
1 changed files with 1 additions and 1 deletions
--- a/C/index.c
+++ b/C/index.c
@ -2367,7 +2367,7 @@ cls_head_info(ClauseDef *min, ClauseDef *max, UInt argno, int in_idb)
    }
  } else {
      while (cl <= max) {
-	add_head_info(cl, argno);
+	add_info(cl, argno);
 	/*    if (IsVarTerm(cl->Tag)) cl->Tag = (CELL)NULL; */
 	cl++;
      }