From dc2c048a4694382fc44a5e0d96c3304b66298645 Mon Sep 17 00:00:00 2001 From: Guillermo Perez Date: Sat, 6 Aug 2016 10:18:49 +0200 Subject: [PATCH] Update abssynthe.cpp --- source/abssynthe.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/source/abssynthe.cpp b/source/abssynthe.cpp index c33fa83..30eb6e3 100644 --- a/source/abssynthe.cpp +++ b/source/abssynthe.cpp @@ -31,7 +31,7 @@ #include "logging.h" #include "aig.h" -const char* ABSSYNTHE_VERSION = "Swiss-Abssynthe 1.0"; +const char* ABSSYNTHE_VERSION = "Swiss-Abssynthe 2.0"; const int EXIT_STATUS_REALIZABLE = 10; const int EXIT_STATUS_UNREALIZABLE = 20;