From d87a491f4b02efd23bb4922a979a25bf5782f6af Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond <guillaume.melquiond@inria.fr>
Date: Sat, 21 Mar 2020 08:30:11 +0100
Subject: [PATCH] Update CHANGES.

---
 CHANGES.md | 1 +
 1 file changed, 1 insertion(+)

diff --git a/CHANGES.md b/CHANGES.md
index d76882a75..2e20659cd 100644
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -1,6 +1,7 @@
 :x: marks a potential source of incompatibility
 
 Bug fixes
+  * fixed conflicting symbols for CVC4 1.7
   * fixed META file
 
 Version 1.3.0, March 17, 2020
-- 
2.11.4.GIT