From dd0a8b7743834708dcf00bf0ecf810534d52f5de Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Th=C3=A9o=20Zimmermann?= Date: Thu, 30 Jul 2015 18:22:25 +0200 Subject: [PATCH] fix(doc): remove misplaced capital letter --- doc/lean/tutorial.org | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/lean/tutorial.org b/doc/lean/tutorial.org index 0538e59f8b..660694c35b 100644 --- a/doc/lean/tutorial.org +++ b/doc/lean/tutorial.org @@ -371,7 +371,7 @@ examples. #+END_SRC In many cases, Lean can automatically infer the type of the variable. Actually, -In all examples above, the type can be inferred automatically. +in all examples above, the type can be inferred automatically. #+BEGIN_SRC lean import data.nat