Merge pull request #2731 from diffblue/increase-version

increased version number in preparation for release 5.10
diffblue · Aug 14, 2018 · 097cf71 · 097cf71
2 parents 170c1ea + c6acc9c
commit 097cf71
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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