1 files changed, 1 insertions, 5 deletions
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));