From abfeacb8f0818b2084c51aa1f3ec0c9952f10ae6 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Mon, 20 Jan 2014 13:44:44 -0800 Subject: [PATCH] fix(tests/library/expr_lt): adjust is_lt unit tests to reflect recent modifications Signed-off-by: Leonardo de Moura --- src/tests/library/expr_lt.cpp | 1 - 1 file changed, 1 deletion(-) 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() {