diff options
| author | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2010-02-08 18:47:21 +0000 |
|---|---|---|
| committer | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2010-02-08 18:47:21 +0000 |
| commit | 55aa6ae68bc1e4d8f8dc2a7a11fae477cdd95a32 (patch) | |
| tree | d2b4df86fbc9f31292b7aa06e162e4c0e6ffb787 /test/unit/context/context_black.h | |
| parent | 2b7a6d2f2bcb26c0b5641bf7d0258c9fc9796c17 (diff) | |
Fixing the test case, it had a unary or. The cnf converter should be adapted to handle cases like this.
Diffstat (limited to 'test/unit/context/context_black.h')
0 files changed, 0 insertions, 0 deletions