From 0680865689db6ec1334c7f47e50b8b65c626ee24 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Thu, 5 Sep 2013 19:18:55 -0700
Subject: [PATCH] Fix typo

---
 examples/lean/ex4.lean | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/examples/lean/ex4.lean b/examples/lean/ex4.lean
index 827d98c8d..72ce998b7 100644
--- a/examples/lean/ex4.lean
+++ b/examples/lean/ex4.lean
@@ -3,4 +3,4 @@ Definition a : Nat := 10
 Theorem T1 : a > 0 := Trivial
 Theorem T2 : a - 5 > 3 := Trivial
 (* The next one fails *)
-Theorem T3- : a > 11 := Trivial
\ No newline at end of file
+Theorem T3 : a > 11 := Trivial