Version 0.9.3

FrNecas · FrNecas · commit 8db294722471 · 2021-03-18T12:05:38.000+01:00
Signed-off-by: František Nečas &lt;frantisek.necas@protonmail.com&gt;
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.2"
+#define TWOLS_VERSION "0.9.3"
 
 #endif
