Mention #1141 in the CHANGELOG

(cherry picked from commit 5fb4da5)
GaloisInc · Feb 6, 2024 · ccc7054 · ccc7054
1 parent fd2351d
commit ccc7054
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/crucible-mir/CHANGELOG.md b/crucible-mir/CHANGELOG.md
@@ -19,6 +19,7 @@
   `Mir.Intrinsics` whose names are suffixed with `*IO`. These functions live in
   `IO` instead of `MuxLeafT sym IO`, which make them easier to call from `IO`
   contexts.
+* Support enums marked with `repr(transparent)`.
 
 # 0.1