diff options
author | Peter Mikkelsen <peter@pmikkelsen.com> | 2021-07-08 21:22:06 +0000 |
---|---|---|
committer | Peter Mikkelsen <peter@pmikkelsen.com> | 2021-07-08 21:22:06 +0000 |
commit | e9f5f2ffcc62eee564d37d5776e701bab548a496 (patch) | |
tree | a69763231838ce43e17579aa2f5c6ae2f08694e5 /dat.h | |
parent | 6dd50f970be88637fd2799ae8e2868c01002898e (diff) |
Make the repl bindings and query global so the garbage collector can know about them
Diffstat (limited to 'dat.h')
-rw-r--r-- | dat.h | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -97,4 +97,6 @@ Goal *goalstack; 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;
\ No newline at end of file +uvlong clausenr; +Binding *replbindings; /* The bindings used by the repl */ +Term *replquery; /* The currently active repl query */
\ No newline at end of file |