From cb548cad43b74a96148810feb711dec6d1f80a44 Mon Sep 17 00:00:00 2001
From: Robbert Krebbers <mail@robbertkrebbers.nl>
Date: Wed, 16 Mar 2016 10:39:13 +0100
Subject: [PATCH] Markdown is not LaTeX :).

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

diff --git a/README.md b/README.md
index 98948f111..43038999c 100644
--- a/README.md
+++ b/README.md
@@ -17,7 +17,7 @@ Run the following command to build the full development:
 
     make
 
-The development can then be installed as the Coq user contribution `iris' by
+The development can then be installed as the Coq user contribution `iris` by
 running:
 
     make install
-- 
GitLab