Merge pull request #954 from diffblue/bump-version-5-5

ebmc: bump version number to 5.5
diffblue · Jan 31, 2025 · d3b36a4 · d3b36a4
2 parents 546adb8 + 95f5b1d
commit d3b36a4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/ebmc/ebmc_version.h b/src/ebmc/ebmc_version.h
@@ -1 +1 @@
-#define EBMC_VERSION "5.4"
+#define EBMC_VERSION "5.5"