summaryrefslogtreecommitdiff
path: root/module.c
diff options
context:
space:
mode:
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;