diff options
Diffstat (limited to 'src/preprocessing/passes/unconstrained_simplifier.h')
| -rw-r--r-- | src/preprocessing/passes/unconstrained_simplifier.h | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/preprocessing/passes/unconstrained_simplifier.h b/src/preprocessing/passes/unconstrained_simplifier.h index 2128f9681..861a89b7e 100644 --- a/src/preprocessing/passes/unconstrained_simplifier.h +++ b/src/preprocessing/passes/unconstrained_simplifier.h @@ -49,9 +49,9 @@ class UnconstrainedSimplifier : public PreprocessingPass /** number of expressions eliminated due to unconstrained simplification */ IntStat d_numUnconstrainedElim; - using TNodeCountMap = std::unordered_map<TNode, unsigned, TNodeHashFunction>; - using TNodeMap = std::unordered_map<TNode, TNode, TNodeHashFunction>; - using TNodeSet = std::unordered_set<TNode, TNodeHashFunction>; + using TNodeCountMap = std::unordered_map<TNode, unsigned>; + using TNodeMap = std::unordered_map<TNode, TNode>; + using TNodeSet = std::unordered_set<TNode>; TNodeCountMap d_visited; TNodeMap d_visitedOnce; |