1 files changed, 0 insertions, 4 deletions
diff --git a/eval.c b/eval.c
index 6c20a7e..3201286 100644
--- a/eval.c
+++ b/eval.c
@@ -12,8 +12,6 @@ Goal *copygoals(Goal *);
 Builtin findbuiltin(Term *);
 void addchoicepoints(Clause *, Term *, Goal *, Module *);
 
-static uvlong clausenr;
-
 int
 evalquery(Term *query, Binding **resultbindings)
 {
@@ -39,8 +37,6 @@ evalquery(Term *query, Binding **resultbindings)
 		/* Now add the actual goals */
 		goalstack = addgoals(goalstack, query, usermodule);
 
-		clausenr = 2; /* Start at two since 0 is for the facts in the database, and 1 is for queries */
-
 	}else{
 		goto Backtrack;
 	}