From 13efe91101a11f41caf6321a8b2fbdd96ef9927a Mon Sep 17 00:00:00 2001 From: Peter Mikkelsen Date: Tue, 27 Jul 2021 16:41:12 +0000 Subject: remove clausenr from terms, and put it into goals instead. Next up is implementing the control constructs in C, since they misbehave right now due to the new changes --- parser.c | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) (limited to 'parser.c') diff --git a/parser.c b/parser.c index 9ce68f1..5758af8 100644 --- a/parser.c +++ b/parser.c @@ -66,10 +66,6 @@ parse(Biobuf *bio, Module *mod, VarName **vns) Term *result = parseterm(); *vns = varnames; - if(result){ - result = copyterm(result, &clausenr); - clausenr++; - } return result; } @@ -215,7 +211,7 @@ parsevar(void) for(vn = varnames; vn != nil; vn = vn->next, i++) if(runestrcmp(vn->name, name) == 0 && !runestrcmp(vn->name, L"_") == 0){ vn->count++; - return copyterm(vn->var, nil); + return copyterm(vn->var); } VarName *new = gmalloc(sizeof(VarName)); -- cgit v1.2.3