From b391a98aa0562eae7a72e627fecbaa882ec044c5 Mon Sep 17 00:00:00 2001
From: Guillaume Bury <guillaume.bury@gmail.com>
Date: Mon, 19 Dec 2016 16:04:16 +0100
Subject: [PATCH] Typo in doc

---
 src/doc.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/doc.txt b/src/doc.txt
index 0b4609cc..5ff3b32a 100644
--- a/src/doc.txt
+++ b/src/doc.txt
@@ -1,4 +1,4 @@
-{1 Dolmen}
+{1 mSAT}
 
 {2 License}