1 files changed, 1 insertions, 2 deletions

diff --git a/dat.h b/dat.h
index b5f6f4f..5e1641e 100644
--- a/dat.h
+++ b/dat.h
@@ -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
+