changelog

gares · gares · commit 4d429579329c · 2025-10-16T15:21:05.000+02:00
diff --git a/CHANGES.md b/CHANGES.md
@@ -1,3 +1,10 @@
+# v3.4.2 (October 2025)
+
+Requires Menhir 20211230 and OCaml 4.13 or above.
+
+- Runtime:
+  - Fix bug concerning CHR rules firing on non-fully-dereffed terms
+
 # v3.4.1 (September 2025)
 
 Requires Menhir 20211230 and OCaml 4.13 or above.
