| commit | ac89383428978f1f84b9ab6a58d754a30e093505 | |
| author | Utz-Uwe Haus <lisp@uuhaus.de> | |
| Wed, 16 Jun 2010 09:18:36 +0000 (16 11:18 +0200) | ||
| committer | Utz-Uwe Haus <lisp@uuhaus.de> | |
| Wed, 16 Jun 2010 09:18:36 +0000 (16 11:18 +0200) | ||
| tree | 0b3665e90b4185f671d96f2f3e053b43516cde95 | treesnapshot (tar.gz zip) |
| parent | 4babcdc1ae770f2f2f96e53f45197f7a8efc5707 | commitdiff |
Fix with-sat-solver macro to correctly reference *default-sat-backend* at run time
Signed-off-by: Utz-Uwe Haus <lisp@uuhaus.de>
Signed-off-by: Utz-Uwe Haus <lisp@uuhaus.de>
| satwrap.lisp | diffblobblamehistory |