From 7ada3cbb73d300dc3c016bf2a06cd9c45e1a3f40 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Tue, 15 Mar 2016 23:15:48 +0100
Subject: [PATCH] fix markdown

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

diff --git a/README.md b/README.md
index 41e3afbef..2c82ff74f 100644
--- a/README.md
+++ b/README.md
@@ -15,7 +15,7 @@ fixed version of Ssreflect.
 
 Run the following command to build the full development:
 
-  make
+    make
 
 
 # STRUCTURE
-- 
GitLab