From e6a38aa97b9de05ae0eede568212667b68784a60 Mon Sep 17 00:00:00 2001 From: Peter Mikkelsen Date: Wed, 7 Jul 2021 16:44:25 +0000 Subject: Add copy_term/2 --- dat.h | 1 + 1 file changed, 1 insertion(+) (limited to 'dat.h') 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 -- cgit v1.2.3