1 files changed, 1 insertions, 3 deletions
diff --git a/dat.h b/dat.h
index 72a95b5..d6adb18 100644
--- a/dat.h
+++ b/dat.h
@@ -154,7 +154,5 @@ int flagdoublequotes;
 Choicepoint *choicestack;
 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;
-
+int systemmoduleloaded; /* Is the module "system" ready to be used */