Update abssynthe.cpp

gaperez64 · Aug 6, 2016 · dc2c048 · dc2c048
1 parent 427ac6f
commit dc2c048
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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;