From a9a37baba7d6ec343fc5323e3e5756190d90b114 Mon Sep 17 00:00:00 2001
From: Artur Meski <artur.meski@gmail.com>
Date: Sun, 5 Nov 2017 17:52:51 +0000
Subject: [PATCH] Name

---
 rssmt.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/rssmt.py b/rssmt.py
index c3a1126..6e50d46 100755
--- a/rssmt.py
+++ b/rssmt.py
@@ -28,7 +28,7 @@ rsmc_banner = """
 Reaction Systems SMT-Based Model Checking
 
 Version:  """ + version + """
-Author:   Artur Męski <meski@ipipan.waw.pl> / <artur.meski@ncl.ac.uk>
+Author:   Artur Meski <meski@ipipan.waw.pl> / <artur.meski@ncl.ac.uk>
 """
 
 ##################################################################