From a52239819445fe76618fa4b906d1de258f533987 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Wed, 4 Jun 2014 15:06:44 -0700 Subject: [PATCH] fix(doc/lua): typo Signed-off-by: Leonardo de Moura --- doc/lua/lua.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/lua/lua.md b/doc/lua/lua.md index 1aa6e01f01..e3ff3e01be 100644 --- a/doc/lua/lua.md +++ b/doc/lua/lua.md @@ -451,7 +451,7 @@ apply basic simplifications automatically. However, they do not put the level expressions in any normal form. We can use the method `normalize` for that. The normalization procedure is also use to implement the method `is_equivalent` that returns true when two level -expressions are equivalent. The Lua API also contains the methdo +expressions are equivalent. The Lua API also contains the method `is_geq` that can be used to check whether a level expression represents a universe bigger than or equal another one.