diff options
Diffstat (limited to 'src/smt/smt_engine.cpp')
| -rw-r--r-- | src/smt/smt_engine.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/smt/smt_engine.cpp b/src/smt/smt_engine.cpp index 3f8160ce9..4b2326696 100644 --- a/src/smt/smt_engine.cpp +++ b/src/smt/smt_engine.cpp @@ -49,6 +49,7 @@ #include "expr/node_algorithm.h" #include "expr/node_builder.h" #include "expr/node_self_iterator.h" +#include "expr/node_visitor.h" #include "options/arith_options.h" #include "options/arrays_options.h" #include "options/base_options.h" @@ -90,7 +91,6 @@ #include "smt/update_ostream.h" #include "smt_util/boolean_simplification.h" #include "smt_util/nary_builder.h" -#include "smt_util/node_visitor.h" #include "theory/booleans/circuit_propagator.h" #include "theory/bv/theory_bv_rewriter.h" #include "theory/logic_info.h" |