From df803f13d259eb9a59b2ff026ad6520503aa6953 Mon Sep 17 00:00:00 2001
From: Per Lindgren <per.lindgren@ltu.se>
Date: Fri, 11 Dec 2020 11:49:13 +0100
Subject: [PATCH] formatting in README

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

diff --git a/README.md b/README.md
index 04fe3e5..2a56c12 100644
--- a/README.md
+++ b/README.md
@@ -120,8 +120,7 @@ Here you learn:
 - an easy way to replay test cases for Rust programs
 - an easy way to find "hard to find" errors in embedded code
 
---
-
+---
 
 ## Why KLEE on Rust
 
-- 
GitLab