diff options
author | Tim King <taking@cs.nyu.edu> | 2010-10-29 21:10:46 +0000 |
---|---|---|
committer | Tim King <taking@cs.nyu.edu> | 2010-10-29 21:10:46 +0000 |
commit | b3ce68e7803dcb868004155b6d61a88a8dbe6c6f (patch) | |
tree | 3927716d52c4f06ff606803d30c9949413c5556d /src/prop/cnf_stream.h | |
parent | 4d305551927b2a667acaa796fb86d86aa6364b01 (diff) |
Fix for a problem caused by using a != instead of == in generateConflictBelow(). Resolves a bug introduced in -r1063.
Diffstat (limited to 'src/prop/cnf_stream.h')
0 files changed, 0 insertions, 0 deletions