diff options
Diffstat (limited to 'src/theory/bv/theory_bv.cpp')
| -rw-r--r-- | src/theory/bv/theory_bv.cpp | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/theory/bv/theory_bv.cpp b/src/theory/bv/theory_bv.cpp index 541b77fe6..1b7eeddac 100644 --- a/src/theory/bv/theory_bv.cpp +++ b/src/theory/bv/theory_bv.cpp @@ -861,9 +861,11 @@ bool TheoryBV::storePropagation(TNode literal, SubTheory subtheory) } // Propagate differs depending on the subtheory - // * bitblaster needs to be left alone until it's done, otherwise it doesn't know how to explain + // * bitblaster needs to be left alone until it's done, otherwise it doesn't + // know how to explain // * equality engine can propagate eagerly - bool ok = true; + // TODO(2348): Determine if ok should be set by propagate. If not, remove ok. + constexpr bool ok = true; if (subtheory == SUB_CORE) { d_out->propagate(literal); if (!ok) { |