From 671e5f71c43d953ffdf3da50973fcb97d3501a9e Mon Sep 17 00:00:00 2001
From: Artur Meski <artur.meski@gmail.com>
Date: Sun, 29 Sep 2019 15:44:29 +0100
Subject: [PATCH] Readme update

---
 README.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/README.md b/README.md
index ca075d4..c592274 100644
--- a/README.md
+++ b/README.md
@@ -18,10 +18,10 @@ To quickly test the BDD module you can perform verification of the TGC controlle
 $ ./reactics bdd -c f1 examples/bdd/tgc.rs
 ```
 
-### Reachability
-
 The above command tests the formula labelled `f1` in the input file.
 
+### Reachability
+
 To test the SMT module you can perform reachability verification of the scalable chain system:
 
 ```