summaryrefslogtreecommitdiff
path: root/module.c
diff options
context:
space:
mode:
authorPeter Mikkelsen <peter@pmikkelsen.com>2021-07-27 15:20:29 +0000
committerPeter Mikkelsen <peter@pmikkelsen.com>2021-07-27 15:20:29 +0000
commit4fba3e66dce0d167d2031a0d1f1f6f4571cbd981 (patch)
treea9ec00bc693e40ec4debca451de495889177b090 /module.c
parent0a706b5b413aa96a944f45f28fb948c62e763555 (diff)
Don't use strings to identify vars, use numbers
Diffstat (limited to 'module.c')
-rw-r--r--module.c3
1 files changed, 2 insertions, 1 deletions
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;