diff options
author | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2012-06-14 19:09:37 +0000 |
---|---|---|
committer | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2012-06-14 19:09:37 +0000 |
commit | da1e7aaacab8dd4e9b80b752f362d190c1472543 (patch) | |
tree | 637efe507b1a178420ef363464a9aa63bdfb7da6 /src/theory/Makefile.am | |
parent | b47e13e905458f6fbd112d3d201684f2766be6ef (diff) |
fix for clark's bug
imporant: theories SHOULD NOT use getSatValue at all, otherwise they might create a conflict with a literal they didn't get()
Diffstat (limited to 'src/theory/Makefile.am')
0 files changed, 0 insertions, 0 deletions