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