diff options
Diffstat (limited to 'src/theory/booleans/circuit_propagator.cpp')
-rw-r--r-- | src/theory/booleans/circuit_propagator.cpp | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/theory/booleans/circuit_propagator.cpp b/src/theory/booleans/circuit_propagator.cpp index d04b71ee1..2548cf5c3 100644 --- a/src/theory/booleans/circuit_propagator.cpp +++ b/src/theory/booleans/circuit_propagator.cpp @@ -368,7 +368,9 @@ bool CircuitPropagator::propagate() { Debug("circuit-prop") << "CircuitPropagator::propagate(): assigned to " << (assignment ? "true" : "false") << std::endl; // Is this an atom - bool atom = Theory::theoryOf(current) != THEORY_BOOL || current.isVar(); + bool atom = Theory::theoryOf(current) != THEORY_BOOL || current.isVar() + || (current.getKind() == kind::EQUAL + && (current[0].isVar() && current[1].isVar())); // If an atom, add to the list for simplification if (atom) { |