Mention #1123 in the crucible-syntax CHANGELOG

(cherry picked from commit 3bb0064)
GaloisInc · Feb 6, 2024 · 3a191e5 · 3a191e5
1 parent 1746bb3
commit 3a191e5
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/crucible-syntax/CHANGELOG.md b/crucible-syntax/CHANGELOG.md
@@ -4,6 +4,8 @@
   which serves a similar purpose (hiding the argument and return types). The
   CFG argument and return types can be recovered via
   `Lang.Crucible.CFG.Reg.{cfgArgTypes,cfgReturnType}`.
+* `execCommand` and related data types in `Lang.Crucible.Syntax.Prog` have been
+  split off into a separate `crucible-cli` library.
 
 # 0.3