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}