make solvable_look_bool more robust by allowing both
authorDuncan Mac-Vicar P <dmacvicar@suse.de>
Mon, 19 May 2008 12:55:03 +0000 (12:55 +0000)
committerDuncan Mac-Vicar P <dmacvicar@suse.de>
Mon, 19 May 2008 12:55:03 +0000 (12:55 +0000)
commit97747f4607caff58f0d7ef920623a9784931dbb1
treec8edb19f98a88c1c16c516d74001813f4c49c7b9
parentbb5fdfc359b8522bba1a7a5a57379d0aed8ff4e3
make solvable_look_bool more robust by allowing both
the void or the num == 1 strategy.
package/libsatsolver.changes
src/solvable.c