libaml: fix gc bug, need to amltake()/amldrop() temporary buffer

[plan9front.git] / sys / src / libsat / satmore.c

diff --git a/sys/src/libsat/satmore.c b/sys/src/libsat/satmore.c
index ac8b0fa09441a693aaf9a6afc664ddeefde1e729..011cc84802133118c1c9f382dde8170d46d3f49e 100644 (file)
--- 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);