Version 0.9.1

Contains mainly fixes for SV-COMP'21.
diffblue · Dec 11, 2020 · f56f679 · f56f679
1 parent c0a5464
commit f56f679
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/2ls/version.h b/src/2ls/version.h
@@ -12,6 +12,6 @@ Author: Peter Schrammel
 #ifndef CPROVER_2LS_2LS_VERSION_H
 #define CPROVER_2LS_2LS_VERSION_H
 
-#define TWOLS_VERSION "0.9.0"
+#define TWOLS_VERSION "0.9.1"
 
 #endif