From c8abb3657f525d223b021ff26a9138df55e13c41 Mon Sep 17 00:00:00 2001
From: Guillaume Bury <guillaume.bury@gmail.com>
Date: Wed, 28 Jun 2023 17:47:12 +0200
Subject: [PATCH] changes

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

diff --git a/CHANGES.md b/CHANGES.md
index 66ba0ce92..af4322ec8 100644
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -59,6 +59,7 @@ next
 - Correctly compare abstract array values (PR#143)
 - Accept extensions of functions/symbols with only partially defined
   semantics, for e.g. `fp.to_ubv`, `div`, etc.. (PR#151)
+- Error out on incremental problems (PR#169)
 
 v0.8.1
 ------