diff options
| author | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2011-03-20 01:41:48 +0000 |
|---|---|---|
| committer | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2011-03-20 01:41:48 +0000 |
| commit | 3af0d6493cdea4be4130076fee93ebbeff669545 (patch) | |
| tree | f704b1aa7e7dc5d8d1d23ec8881e4b0a6553bc3a /src/theory/bv/theory_bv.h | |
| parent | af6ac1f03a841a0261190cb7caa15ff1fa1f798c (diff) | |
missed one case
Diffstat (limited to 'src/theory/bv/theory_bv.h')
| -rw-r--r-- | src/theory/bv/theory_bv.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/theory/bv/theory_bv.h b/src/theory/bv/theory_bv.h index fa9762cb7..8eaa332eb 100644 --- a/src/theory/bv/theory_bv.h +++ b/src/theory/bv/theory_bv.h @@ -44,6 +44,9 @@ public: bool operator () (size_t triggerId) { return d_theoryBV.triggerEquality(triggerId); } + void conflict(Node explanation) { + d_theoryBV.d_out->conflict(explanation); + } }; struct BVEqualitySettings { |