Version number

fluentverification · Jun 6, 2022 · d2924f7 · d2924f7
1 parent b9e0c68
commit d2924f7
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/stamina/Stamina.h b/src/stamina/Stamina.h
@@ -9,8 +9,8 @@
 #include "StaminaModelChecker.h"
 #include "Options.h"
 
-#define VERSION_MAJOR 0
-#define VERSION_MINOR 1
+#define VERSION_MAJOR 2
+#define VERSION_MINOR 2.1
 
 #include <storm/api/storm.h>
 #include <storm-parsers/api/storm-parsers.h>