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;