diff options
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; |