summaryrefslogtreecommitdiff
path: root/main.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 /main.c
parent0f958749e189e4dacd7a1f70cfc33460e1228d3b (diff)
Add copy_term/2
Diffstat (limited to 'main.c')
-rw-r--r--main.c1
1 files changed, 1 insertions, 0 deletions
diff --git a/main.c b/main.c
index 7c1b1ca..f97a466 100644
--- a/main.c
+++ b/main.c
@@ -18,6 +18,7 @@ main(int argc, char *argv[])
usage();
}ARGEND
+ clausenr = 2; /* Start at two since 0 is for the facts in the database, and 1 is for queries */
initflags();
initstreams();
initmodules();