diff --git a/CHANGELOG b/CHANGELOG
index 4b0ca953..e2f85d66 100644
--- a/CHANGELOG
+++ b/CHANGELOG
@@ -1,3 +1,7 @@
+# EBMC 5.6
+
+* SystemVerilog: typedefs from package scopes
+
 # EBMC 5.5
 
 * If no engine is given, EBMC now selects an engine heuristically, instead
@@ -12,7 +16,6 @@
 * SystemVerilog: package scope operator
 * SystemVerilog: checkers
 * SystemVerilog: clocking block declarations
-* SystemVerilog: typedefs from package scopes
 
 # EBMC 5.4
 
diff --git a/src/ebmc/ebmc_version.h b/src/ebmc/ebmc_version.h
index 55bc0981..01d51551 100644
--- a/src/ebmc/ebmc_version.h
+++ b/src/ebmc/ebmc_version.h
@@ -1 +1 @@
-#define EBMC_VERSION "5.5"
+#define EBMC_VERSION "5.6"