diff options
Diffstat (limited to 'src/preprocessing/passes/real_to_int.h')
| -rw-r--r-- | src/preprocessing/passes/real_to_int.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/preprocessing/passes/real_to_int.h b/src/preprocessing/passes/real_to_int.h index d26547372..4fcc6e254 100644 --- a/src/preprocessing/passes/real_to_int.h +++ b/src/preprocessing/passes/real_to_int.h @@ -32,7 +32,7 @@ namespace passes { class RealToInt : public PreprocessingPass { - using NodeMap = context::CDHashMap<Node, Node, NodeHashFunction>; + using NodeMap = context::CDHashMap<Node, Node>; public: RealToInt(PreprocessingPassContext* preprocContext); |