diff options
author | Peter Mikkelsen <peter@pmikkelsen.com> | 2021-07-16 15:25:01 +0000 |
---|---|---|
committer | Peter Mikkelsen <peter@pmikkelsen.com> | 2021-07-16 15:25:01 +0000 |
commit | 480de114963ecee700ece5b8793916726c04b9ab (patch) | |
tree | 9c1543307aef92c1c88289a4d07ad4dcbae6b38c /dat.h | |
parent | ee65a81ee5b0112ba4480619ca672c569fb28b45 (diff) |
Replace the C repl with one written in prolog :)
Diffstat (limited to 'dat.h')
-rw-r--r-- | dat.h | 3 |
1 files changed, 1 insertions, 2 deletions
@@ -123,5 +123,4 @@ Module *modules; Module *systemmodule; /* The module for the builtins. Everything has access to those */ Module *usermodule; /* The default module for user defined predicates */ uvlong clausenr; -Binding *replbindings; /* The bindings used by the repl */ -Term *replquery; /* The currently active repl query */
\ No newline at end of file + |