From 12923ac4ba56da9abd510aee850bf2323f430114 Mon Sep 17 00:00:00 2001
From: Per Lindgren <per.lindgren@ltu.se>
Date: Fri, 11 Dec 2020 11:51:23 +0100
Subject: [PATCH] changelog

---
 CHANGELOG.md | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 1a2f9a0..2e6395b 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.
-- 
GitLab