Mention #1158 in the CHANGELOG

GaloisInc · Jan 31, 2024 · bc05b99 · bc05b99
1 parent 5fb4da5
commit bc05b99
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/crucible-mir/CHANGELOG.md b/crucible-mir/CHANGELOG.md
@@ -20,6 +20,8 @@
   `IO` instead of `MuxLeafT sym IO`, which make them easier to call from `IO`
   contexts.
 * Support enums marked with `repr(transparent)`.
+* Fix a bug in which the custom overrides for `rotate_left` and related
+  intrinsics were not applied.
 
 # 0.1