increased version number in preparation for release 5.8

Daniel Kroening · Daniel Kroening · commit eb96b7079180 · 2017-08-03T22:45:58.000+02:00
diff --git a/src/cbmc/version.h b/src/cbmc/version.h
@@ -1,6 +1,6 @@
 #ifndef CPROVER_CBMC_VERSION_H
 #define CPROVER_CBMC_VERSION_H
 
-#define CBMC_VERSION "5.7"
+#define CBMC_VERSION "5.8"
 
 #endif // CPROVER_CBMC_VERSION_H
