diff --git a/src/tests/library/expr_lt.cpp b/src/tests/library/expr_lt.cpp
index 6723455de..85923941e 100644
--- a/src/tests/library/expr_lt.cpp
+++ b/src/tests/library/expr_lt.cpp
@@ -16,7 +16,6 @@ using namespace lean;
 static void lt(expr const & e1, expr const & e2, bool expected) {
     lean_assert(is_lt(e1, e2, false) == expected);
     lean_assert(is_lt(e1, e2, false) == !(e1 == e2 || (is_lt(e2, e1, false))));
-    lean_assert(!(e1.hash() < e2.hash()) || (e1 < e2))
 }
 
 static void tst1() {