| commit | f5013faf8ce39883a7c5d4252d5e0cfcc50e1da0 | |
| author | Dionysus Blazakis <dion@semantiscope.com> | |
| Tue, 7 Oct 2008 13:38:49 +0000 (7 09:38 -0400) | ||
| committer | Dionysus Blazakis <dion@semantiscope.com> | |
| Tue, 7 Oct 2008 13:38:49 +0000 (7 09:38 -0400) | ||
| tree | 8a330f883c543021d354463a6ad0cbea715d0433 | treesnapshot (tar.gz zip) |
| parent | f1660aa7d31997aeba7c3eed28159a559eb4b297 | commitdiff |
Fixed the watchlist updating to update the clause for both watch
variables.
variables.
| DPLL.lhs | diffblobblamehistory |