diff options
Diffstat (limited to 'src/expr/uninterpreted_constant.cpp')
-rw-r--r-- | src/expr/uninterpreted_constant.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/expr/uninterpreted_constant.cpp b/src/expr/uninterpreted_constant.cpp index 039a77eb3..ef354568d 100644 --- a/src/expr/uninterpreted_constant.cpp +++ b/src/expr/uninterpreted_constant.cpp @@ -90,7 +90,7 @@ std::ostream& operator<<(std::ostream& out, const UninterpretedConstant& uc) { size_t UninterpretedConstantHashFunction::operator()( const UninterpretedConstant& uc) const { - return TypeNodeHashFunction()(uc.getType()) + return std::hash<TypeNode>()(uc.getType()) * IntegerHashFunction()(uc.getIndex()); } |