From fec235a6a1d1fb5c86a29a18c63997c49f6b64b0 Mon Sep 17 00:00:00 2001
From: Artur Meski <artur@Arturs-MacBook-Pro.local>
Date: Fri, 21 Jul 2017 14:33:42 +0100
Subject: [PATCH] Version number

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

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