diff options
| -rw-r--r-- | sys/src/libsat/satmore.c | 2 |
1 files changed, 2 insertions, 0 deletions
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); |