From c6acc9c90a8882975c7990811db8eb06fa02b19c Mon Sep 17 00:00:00 2001
From: Daniel Kroening <kroening@cs.ox.ac.uk>
Date: Mon, 13 Aug 2018 18:18:12 +0100
Subject: [PATCH] increased version number in preparation for release 5.10

---
 src/config.inc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/config.inc b/src/config.inc
index 5c790cff41f..c53482de601 100644
--- a/src/config.inc
+++ b/src/config.inc
@@ -72,4 +72,4 @@ endif
 OSX_IDENTITY="Developer ID Application: Daniel Kroening"
 
 # Detailed version information
-CBMC_VERSION = 5.9
+CBMC_VERSION = 5.10