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 / +Author: Artur Meski / """ ##################################################################