diff options
Diffstat (limited to 'src/smt/process_assertions.cpp')
| -rw-r--r-- | src/smt/process_assertions.cpp | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/smt/process_assertions.cpp b/src/smt/process_assertions.cpp index 5faa2a66c..0bbc2eeae 100644 --- a/src/smt/process_assertions.cpp +++ b/src/smt/process_assertions.cpp @@ -204,6 +204,10 @@ bool ProcessAssertions::apply(Assertions& as) { d_passes["bv-to-int"]->apply(&assertions); } + if (options::foreignTheoryRewrite()) + { + d_passes["foreign-theory-rewrite"]->apply(&assertions); + } // Since this pass is not robust for the information tracking necessary for // unsat cores, it's only applied if we are not doing unsat core computation |