From f56f67939685b43479cbb519769056d6a0f90cf2 Mon Sep 17 00:00:00 2001
From: Viktor Malik <viktor.malik@gmail.com>
Date: Fri, 11 Dec 2020 08:40:13 +0100
Subject: [PATCH] Version 0.9.1

Contains mainly fixes for SV-COMP'21.
---
 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 33c465402..467e36dc8 100644
--- 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