From b0bfa4a13f68586ef123a772a8ebc9940a103e37 Mon Sep 17 00:00:00 2001
From: Artur Meski <artur@Arturs-MacBook-Pro.local>
Date: Mon, 13 Mar 2017 22:29:55 +0100
Subject: [PATCH] Updated version string

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

diff --git a/rssmt.py b/rssmt.py
index 1ffad6d..9240181 100755
--- a/rssmt.py
+++ b/rssmt.py
@@ -20,7 +20,7 @@ profiling = False
 
 ##################################################################    
 
-version = "2017/03/05/00"
+version = "2017/03/13/00"
 rsmc_banner = """
 Reaction Systems SMT-Based Model Checking