diff options
Diffstat (limited to 'src/smt/preprocessor.h')
| -rw-r--r-- | src/smt/preprocessor.h | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/smt/preprocessor.h b/src/smt/preprocessor.h index 4c60a2898..3a1f9f080 100644 --- a/src/smt/preprocessor.h +++ b/src/smt/preprocessor.h @@ -89,8 +89,7 @@ class Preprocessor */ 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); + Node expandDefinitions(const Node& n, std::unordered_map<Node, Node>& cache); /** * Set proof node manager. Enables proofs in this preprocessor. */ |