From 80474f7f59ee755cd1967c5703e3be724582f001 Mon Sep 17 00:00:00 2001
From: aiju <devnull@localhost>
Date: Mon, 26 Mar 2018 21:39:23 +0000
Subject: [PATCH] libsat: fix one of the satmore() bugs

---
 sys/src/libsat/satmore.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/sys/src/libsat/satmore.c b/sys/src/libsat/satmore.c
index ac8b0fa09..011cc8480 100644
--- a/sys/src/libsat/satmore.c
+++ b/sys/src/libsat/satmore.c
@@ -20,6 +20,8 @@ satmore(SATSolve *s)
 	}
 	if(n > 0)
 		satadd1(s, a, n);
+	if(n == 1)
+		s->var[abs(a[0])-1].flags &= ~VARUSER;
 	free(a);
 	s->scrap = nil;
 	return satsolve(s);