diff options
| author | aiju <devnull@localhost> | 2018-03-26 21:39:23 +0000 |
|---|---|---|
| committer | aiju <devnull@localhost> | 2018-03-26 21:39:23 +0000 |
| commit | 80474f7f59ee755cd1967c5703e3be724582f001 (patch) | |
| tree | 8901c82ab574325e89cc3114d89c7ab07958b62a /sys/src/libsat | |
| parent | 586a24770c5accfadc13408ba2b617b062fb50ae (diff) | |
libsat: fix one of the satmore() bugs
Diffstat (limited to 'sys/src/libsat')
| -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); |