diff options
Diffstat (limited to 'src/theory/booleans/circuit_propagator.cpp')
-rw-r--r-- | src/theory/booleans/circuit_propagator.cpp | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/theory/booleans/circuit_propagator.cpp b/src/theory/booleans/circuit_propagator.cpp index aa87b65ba..d04b71ee1 100644 --- a/src/theory/booleans/circuit_propagator.cpp +++ b/src/theory/booleans/circuit_propagator.cpp @@ -15,12 +15,14 @@ **/ #include "theory/booleans/circuit_propagator.h" -#include "util/utility.h" #include <stack> #include <vector> #include <algorithm> +#include "expr/node_algorithm.h" +#include "util/utility.h" + using namespace std; namespace CVC4 { @@ -208,7 +210,7 @@ void CircuitPropagator::propagateForward(TNode child, bool childAssignment) { for(; parent_it != parent_it_end && !d_conflict; ++ parent_it) { // The current parent of the child TNode parent = *parent_it; - Assert(parent.hasSubterm(child)); + Assert(expr::hasSubterm(parent, child)); // Forward rules switch(parent.getKind()) { |