diff options
author | Peter Mikkelsen <peter@pmikkelsen.com> | 2021-07-27 15:20:29 +0000 |
---|---|---|
committer | Peter Mikkelsen <peter@pmikkelsen.com> | 2021-07-27 15:20:29 +0000 |
commit | 4fba3e66dce0d167d2031a0d1f1f6f4571cbd981 (patch) | |
tree | a9ec00bc693e40ec4debca451de495889177b090 /module.c | |
parent | 0a706b5b413aa96a944f45f28fb948c62e763555 (diff) |
Don't use strings to identify vars, use numbers
Diffstat (limited to 'module.c')
-rw-r--r-- | module.c | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -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; |