Version 0.6.0

peterschrammel · peterschrammel · commit 32f6a9806ca3 · 2017-11-27T22:35:50.000Z
diff --git a/src/2ls/version.h b/src/2ls/version.h
@@ -9,6 +9,6 @@ Author: Peter Schrammel
 #ifndef CPROVER_2LS_2LS_VERSION_H
 #define CPROVER_2LS_2LS_VERSION_H
 
-#define TWOLS_VERSION "0.5.7"
+#define TWOLS_VERSION "0.6.0"
 
 #endif
