From 32f6a9806ca38edd46509e7b9b48f670d4ef842e Mon Sep 17 00:00:00 2001
From: Peter Schrammel <peter.schrammel@diffblue.com>
Date: Mon, 27 Nov 2017 22:35:50 +0000
Subject: [PATCH] Version 0.6.0

---
 src/2ls/version.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/2ls/version.h b/src/2ls/version.h
index 306cc43d6..fb5db29f8 100644
--- 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