From c6179721a46b025ff59ceecb68f20b7276e794c8 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Sat, 19 Nov 2016 10:25:33 -0800
Subject: [PATCH] fix(library/library.md): stray keystroke

---
 library/library.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/library/library.md b/library/library.md
index f97fc08c8d..4ae4a0f175 100644
--- a/library/library.md
+++ b/library/library.md
@@ -1,4 +1,4 @@
-dThe Lean Standard Library
+The Lean Standard Library
 =========================
 
 The Lean standard library is contained in the following files and directories: