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

1 files changed, 2 insertions, 2 deletions

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);