diff options
Diffstat (limited to 'src/smt/preprocessor.h')
| -rw-r--r-- | src/smt/preprocessor.h | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/src/smt/preprocessor.h b/src/smt/preprocessor.h index e0ad2cc14..4c60a2898 100644 --- a/src/smt/preprocessor.h +++ b/src/smt/preprocessor.h @@ -85,16 +85,12 @@ class Preprocessor * simplification or normalization is done. * * @param n The node to expand - * @param expandOnly if true, then the expandDefinitions function of - * TheoryEngine is not called on subterms of n. * @return The expanded term. */ - Node expandDefinitions(const Node& n, bool expandOnly = false); + Node expandDefinitions(const Node& n); /** Same as above, with a cache of previous results. */ Node expandDefinitions( - const Node& n, - std::unordered_map<Node, Node, NodeHashFunction>& cache, - bool expandOnly = false); + const Node& n, std::unordered_map<Node, Node, NodeHashFunction>& cache); /** * Set proof node manager. Enables proofs in this preprocessor. */ |