diff --git a/CHANGELOG.md b/CHANGELOG.md
index 1a2f9a0828bd8d72c1adeda6ebf883da0faa9eba..2e6395b25df734c4fba410c9d9b4c447f6c47515 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -2,6 +2,8 @@
 
 Most recent changes:
 
+- 2020-12-12 Update with `cyccnt` example.
+
 - 2020-12-08 Update `README.md` for Ubuntu (like) system with `z3` dependency.
 
 - 2020-12-08 Update `README.md` and `examples/get_sign` to reflect the recent `klee 2.2` and `aur` package.