diff options
Diffstat (limited to 'src/smt/process_assertions.h')
-rw-r--r-- | src/smt/process_assertions.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/smt/process_assertions.h b/src/smt/process_assertions.h index 3cdf8a463..80219eb3c 100644 --- a/src/smt/process_assertions.h +++ b/src/smt/process_assertions.h @@ -57,7 +57,7 @@ class ProcessAssertions { /** The types for the recursive function definitions */ typedef context::CDList<Node> NodeList; - typedef std::unordered_map<Node, bool, NodeHashFunction> NodeToBoolHashMap; + typedef std::unordered_map<Node, bool> NodeToBoolHashMap; public: ProcessAssertions(SmtEngine& smt, |