Don't use strings to identify vars, use numbers

1 files changed, 4 insertions, 3 deletions

diff --git a/fns.h b/fns.h
index a14f968..a45af7e 100644
--- a/fns.h
+++ b/fns.h
@@ -1,15 +1,16 @@
 /* parser.c */
-Term *parse(Biobuf *, Module *);
+Term *parse(Biobuf *, Module *, VarName **);
 
 /* prettyprint.c */
 Rune *prettyprint(Term *, int, int, int, Module *);
 
 /* misc.c */
 Term *copyterm(Term *, uvlong *);
+void renameclausevars(Clause *);
 Term *appendterm(Term *, Term *);
 int termslength(Term *);
 Term *mkatom(Rune *);
-Term *mkvariable(Rune *);
+Term *mkvariable(void);
 Term *mkcompound(Rune *, int, Term *);
 Term *mkfloat(double);
 Term *mkinteger(vlong);
@@ -58,7 +59,7 @@ int isoutputstream(Term *);
 int istextstream(Term *);
 int isbinarystream(Term *);
 int canreposition(Term *);
-int readterm(Term *, Term **, Module *);
+int readterm(Term *, Term **, Module *, VarName **);
 void writeterm(Term *, Term *, Term *, Module *);
 Rune getchar(Term *);
 Rune peekchar(Term *);