From 33fb668917b5498dfe2528e98c59f69ec19654e4 Mon Sep 17 00:00:00 2001
From: Ismael Luceno
Date: Tue, 20 Aug 2019 20:02:33 +0200
Subject: z3: new spell, The Z3 Theorem Prover

---
 ChangeLog | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'ChangeLog')

diff --git a/ChangeLog b/ChangeLog
index dc0bdd10c8..bfd6dc6a5a 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,6 @@
+2019-08-20 Ismael Luceno <ismael@sourcemage.org>
+	* devel/z3: new spell, The Z3 Theorem Prover
+
 2019-08-17 Vlad Glagolev <stealth@sourcemage.org>
 	* utils/perf: new spell, Linux performance analyzing tool
 
-- 
cgit v1.2.3