increased version number in preparation for release 5.10

Daniel Kroening · Daniel Kroening · commit c6acc9c90a88 · 2018-08-13T18:33:31.000+01:00
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
