changes

Gbury · Jun 28, 2023 · c8abb36 · c8abb36
1 parent 89a5bb2
commit c8abb36
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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
 ------