shithub: riscv

Info  •  Files  •  Log  •  Branches

libsat: fix one of the satmore() bugs

--- a/sys/src/libsat/satmore.c

+++ b/sys/src/libsat/satmore.c

@@ -20,6 +20,8 @@

 	}

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