From 794d803c857d15751e2c547ef83082820a814b72 Mon Sep 17 00:00:00 2001
From: Artur Meski <artur.meski@gmail.com>
Date: Sat, 6 Jan 2018 20:39:46 +0000
Subject: [PATCH] version

---
 rssmt.py | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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 <meski@ipipan.waw.pl> / <artur.meski@ncl.ac.uk>
+Author:   Artur Meski <artur.meski@gmail.com>
 """
 
 ##################################################################