diff --git a/src/adapters/MathsatExpressionAdapter.h b/src/adapters/MathsatExpressionAdapter.h index 854b20542..9fec0cf15 100644 --- a/src/adapters/MathsatExpressionAdapter.h +++ b/src/adapters/MathsatExpressionAdapter.h @@ -22,9 +22,9 @@ namespace std { // Define hashing operator for MathSAT's declarations. template <> - struct std::hash<msat_decl> { - std::size_t operator()(msat_decl const& declaration) const { - return std::hash<void*>()(declaration.repr); + struct hash<msat_decl> { + size_t operator()(msat_decl const& declaration) const { + return hash<void*>()(declaration.repr); } }; }