From 4fba3e66dce0d167d2031a0d1f1f6f4571cbd981 Mon Sep 17 00:00:00 2001
From: Peter Mikkelsen <peter@pmikkelsen.com>
Date: Tue, 27 Jul 2021 15:20:29 +0000
Subject: Don't use strings to identify vars, use numbers

---
 fns.h | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

(limited to 'fns.h')

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 *);
-- 
cgit v1.2.3