From 13efe91101a11f41caf6321a8b2fbdd96ef9927a Mon Sep 17 00:00:00 2001
From: Peter Mikkelsen <peter@pmikkelsen.com>
Date: Tue, 27 Jul 2021 16:41:12 +0000
Subject: remove clausenr from terms, and put it into goals instead. Next up is
 implementing the control constructs in C, since they misbehave right now due
 to the new changes

---
 fns.h | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'fns.h')

diff --git a/fns.h b/fns.h
index a45af7e..c975ceb 100644
--- a/fns.h
+++ b/fns.h
@@ -5,7 +5,8 @@ Term *parse(Biobuf *, Module *, VarName **);
 Rune *prettyprint(Term *, int, int, int, Module *);
 
 /* misc.c */
-Term *copyterm(Term *, uvlong *);
+Term *copyterm(Term *);
+void renametermvars(Term *);
 void renameclausevars(Clause *);
 Term *appendterm(Term *, Term *);
 int termslength(Term *);
@@ -22,7 +23,7 @@ Clause *copyclause(Clause *, uvlong *);
 int evalquery(Term *);
 int unify(Term *, Term *, Binding **);
 void applybinding(Term *, Binding *);
-Goal *addgoals(Goal *, Term *, Module *);
+Goal *addgoals(Goal *, Term *, Module *, uvlong);
 Predicate *findpredicate(Predicate *, Term *);
 Clause *findclause(Clause *, Term *, Binding **);
 
-- 
cgit v1.2.3