📝 Update CHANGELOG.md

lsrcz · Dec 29, 2024 · 082c906 · 082c906
1 parent a7f4074
commit 082c906
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -20,6 +20,8 @@ Versioning](https://semver.org/spec/v2.0.0.html).
   or `toSym` from a single value to a union. These should now be done through
   `mrgToSym`, `toUnionSym`, and `unionToCon`.
   ([#267](https://github.com/lsrcz/grisette/pull/267))
+- [Breaking] Changed the `EvalMode` tag for `Con` to `C` and `Sym` to `S`.
+  ([#267](https://github.com/lsrcz/grisette/pull/267))
 
 ### Fixed
 - Fixed some missing constraints for unified interfaces.