diff options
Diffstat (limited to 'src/preprocessing/passes/bv_to_int.h')
| -rw-r--r-- | src/preprocessing/passes/bv_to_int.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/preprocessing/passes/bv_to_int.h b/src/preprocessing/passes/bv_to_int.h index b8fa00e95..d09f9e738 100644 --- a/src/preprocessing/passes/bv_to_int.h +++ b/src/preprocessing/passes/bv_to_int.h @@ -78,7 +78,7 @@ namespace cvc5 { namespace preprocessing { namespace passes { -using CDNodeMap = context::CDHashMap<Node, Node, NodeHashFunction>; +using CDNodeMap = context::CDHashMap<Node, Node>; class BVToInt : public PreprocessingPass { @@ -272,7 +272,7 @@ class BVToInt : public PreprocessingPass * A set of constraints of the form 0 <= x < 2^k * These are added for every new integer variable that we introduce. */ - context::CDHashSet<Node, NodeHashFunction> d_rangeAssertions; + context::CDHashSet<Node> d_rangeAssertions; /** * Useful constants |