From aeb52b69dd3ffb459b16c68c5074ed109e3bfe2b Mon Sep 17 00:00:00 2001
From: Guillaume Bury <guillaume.bury@gmail.com>
Date: Thu, 12 Jan 2017 13:41:05 +0100
Subject: [PATCH] Fixed title in doc page

---
 doc/index.txt | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/doc/index.txt b/doc/index.txt
index 04c6ac98..f7431f1a 100644
--- a/doc/index.txt
+++ b/doc/index.txt
@@ -1,6 +1,6 @@
 
-Dolmen
-======
+mSAT
+====
 Guillaume Bury <guillaume.bury@gmail.com>
 
 * link:dev[]