diff --git a/rssmt.py b/rssmt.py index 9bda692..6012cc5 100755 --- a/rssmt.py +++ b/rssmt.py @@ -23,12 +23,12 @@ if profiling: ################################################################## -version = "2017/04/08/00" +version = "2018/01/06/00" rsmc_banner = """ Reaction Systems SMT-Based Model Checking Version: """ + version + """ -Author: Artur Meski / +Author: Artur Meski """ ##################################################################