document change

GaloisInc · May 22, 2024 · eddfb9c · eddfb9c
1 parent 831e9a2
commit eddfb9c
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/base/ChangeLog.md b/base/ChangeLog.md
@@ -32,3 +32,6 @@
 - The `Hashable` and `HashableF` instances for `App f` now require
   `TestEquality f` constraints. (This is needed to support `hashable-1.4.*`,
   which adds `Eq` as a superclass to `Hashable`.)
+
+- `SubroutineTypeDecl` now contains a parsed `Variable` (rather than an unparsed `DIE`) for its
+  formals.