diff options
Diffstat (limited to 'src/expr/emptybag.cpp')
| -rw-r--r-- | src/expr/emptybag.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/expr/emptybag.cpp b/src/expr/emptybag.cpp index d85aca30c..b8cb70e16 100644 --- a/src/expr/emptybag.cpp +++ b/src/expr/emptybag.cpp @@ -28,7 +28,7 @@ std::ostream& operator<<(std::ostream& out, const EmptyBag& asa) size_t EmptyBagHashFunction::operator()(const EmptyBag& es) const { - return TypeNodeHashFunction()(es.getType()); + return std::hash<TypeNode>()(es.getType()); } /** |