1 files changed, 3 insertions, 2 deletions
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 **);