summaryrefslogtreecommitdiff
path: root/dat.h
diff options
context:
space:
mode:
authorPeter Mikkelsen <peter@pmikkelsen.com>2021-07-08 21:22:06 +0000
committerPeter Mikkelsen <peter@pmikkelsen.com>2021-07-08 21:22:06 +0000
commite9f5f2ffcc62eee564d37d5776e701bab548a496 (patch)
treea69763231838ce43e17579aa2f5c6ae2f08694e5 /dat.h
parent6dd50f970be88637fd2799ae8e2868c01002898e (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.h4
1 files changed, 3 insertions, 1 deletions
diff --git a/dat.h b/dat.h
index 9bbfef0..e085acd 100644
--- a/dat.h
+++ b/dat.h
@@ -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