Version 0.8.3

viktormalik · viktormalik · commit 78b101a1a8d4 · 2020-03-31T11:43:58.000+02:00
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.8.2"
+#define TWOLS_VERSION "0.8.3"
 
 #endif
