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)
commit641ca0eefe869638caf633b807443cad667ed9a5
tree571d9b0eb2372fc707a76046e10fe4a3a95629a1
parent81677d3a0df97cc8b90008d567e316b16bddceb7
make solvable_look_bool more robust by allowing both
the void or the num == 1 strategy.
package/libsatsolver.changes
src/solvable.c