libsat: fix one of the satmore() bugs

2018-03-26 21:39:23 +00:00 · 2018-03-26 21:39:23 +00:00 · 80474f7f59
parent 586a24770c
commit 80474f7f59
1 changed files with 2 additions and 0 deletions
--- 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);