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

---
 module.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'module.c')

diff --git a/module.c b/module.c
index e255483..ead591e 100644
--- a/module.c
+++ b/module.c
@@ -32,7 +32,8 @@ addtousermod(char *file)
 	Predicate *currentpred = nil;
 
 	Term *t;
-	while(t = parse(bio, usermodule)){
+	VarName *varnames;
+	while(t = parse(bio, usermodule, &varnames)){
 		Clause *cl = gmalloc(sizeof(Clause));
 		int arity;
 		cl->clausenr = 0;
-- 
cgit v1.2.3