From 375997fe65fbe025c1c5e8735679b29eda56fe45 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Mon, 25 May 2015 16:56:00 -0700
Subject: [PATCH] fix(doc/lean/library_style): adjust to reflect changes in the
 standard library

---
 doc/lean/library_style.org | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/lean/library_style.org b/doc/lean/library_style.org
index 3729256ec2..89d8ca4c54 100644
--- a/doc/lean/library_style.org
+++ b/doc/lean/library_style.org
@@ -78,7 +78,7 @@ import standard algebra.ordered_ring
 open nat algebra
 
 check lt_of_succ_le
-check lt_of_not_le
+check lt_of_not_ge
 check lt_of_le_of_ne
 check add_lt_add_of_lt_of_le
 #+END_SRC