From 88841b194dc86c9392a813f9b8b0cf16857acb93 Mon Sep 17 00:00:00 2001 From: Peter Mikkelsen Date: Wed, 21 Jul 2021 00:12:09 +0000 Subject: Always use a fresh clausenr for read teams, and make sure to update the clausenr in call/1, so cuts are local to that call --- parser.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'parser.c') diff --git a/parser.c b/parser.c index 0a37a75..773a0a2 100644 --- a/parser.c +++ b/parser.c @@ -74,8 +74,8 @@ parse(int fd, Biobuf *bio, int querymode) Term *result = prologtext(querymode); if(querymode && result){ - uvlong id = 1; - result = copyterm(result, &id); + result = copyterm(result, &clausenr); + clausenr++; } if(!bio) Bterm(parsein); -- cgit v1.2.3