diff --git a/src/library/max_sharing.cpp b/src/library/max_sharing.cpp
index 5e5c53eb83..43e8744a1d 100644
--- a/src/library/max_sharing.cpp
+++ b/src/library/max_sharing.cpp
@@ -17,7 +17,7 @@ namespace lean {
    shared sub-expressions.
 */
 struct max_sharing_fn::imp {
-    typedef typename std::unordered_set<expr, expr_hash, std::equal_to<expr>> expr_cache;
+    typedef typename std::unordered_set<expr, expr_hash, is_bi_equal_proc> expr_cache;
 
     expr_cache m_cache;