diff options
author | Peter Mikkelsen <peter@pmikkelsen.com> | 2021-07-07 16:44:25 +0000 |
---|---|---|
committer | Peter Mikkelsen <peter@pmikkelsen.com> | 2021-07-07 16:44:25 +0000 |
commit | e6a38aa97b9de05ae0eede568212667b68784a60 (patch) | |
tree | 26cc01919d3502c9a66d734a616c9de8850b83b4 /main.c | |
parent | 0f958749e189e4dacd7a1f70cfc33460e1228d3b (diff) |
Add copy_term/2
Diffstat (limited to 'main.c')
-rw-r--r-- | main.c | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -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(); |