diff options
Diffstat (limited to 'src/expr/array_store_all.cpp')
-rw-r--r-- | src/expr/array_store_all.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/expr/array_store_all.cpp b/src/expr/array_store_all.cpp index 848d86edd..d97fe1320 100644 --- a/src/expr/array_store_all.cpp +++ b/src/expr/array_store_all.cpp @@ -109,8 +109,8 @@ std::ostream& operator<<(std::ostream& out, const ArrayStoreAll& asa) { } size_t ArrayStoreAllHashFunction::operator()(const ArrayStoreAll& asa) const { - return TypeNodeHashFunction()(asa.getType()) - * NodeHashFunction()(asa.getValue()); + return std::hash<TypeNode>()(asa.getType()) + * std::hash<Node>()(asa.getValue()); } } // namespace cvc5 |