summaryrefslogtreecommitdiff
path: root/eval.c
diff options
context:
space:
mode:
authorPeter Mikkelsen <peter@pmikkelsen.com>2021-07-07 16:44:25 +0000
committerPeter Mikkelsen <peter@pmikkelsen.com>2021-07-07 16:44:25 +0000
commite6a38aa97b9de05ae0eede568212667b68784a60 (patch)
tree26cc01919d3502c9a66d734a616c9de8850b83b4 /eval.c
parent0f958749e189e4dacd7a1f70cfc33460e1228d3b (diff)
Add copy_term/2
Diffstat (limited to 'eval.c')
-rw-r--r--eval.c4
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;
}