1 files changed, 1 insertions, 0 deletions

diff --git a/dat.h b/dat.h
index 1bde347..6e93b84 100644
--- a/dat.h
+++ b/dat.h
@@ -97,3 +97,4 @@ 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