changes for PR#246

Gbury · Gbury · commit c8ca2d65b0df · 2025-08-13T10:35:05.000+01:00
diff --git a/CHANGES.md b/CHANGES.md
@@ -16,6 +16,8 @@ next
 
 - Add a logic detection mechanism (PR#211)
 
+- Reject overlapping parallel let-bindings (PR#246)
+
 - Reject application of SMT-LIB2's distinct to less than 2
   arguments (Issue#242, PR#243)
 
