Mention #1986 in CHANGES.md

GaloisInc · Feb 3, 2024 · 9b815bd · 9b815bd
1 parent ea7f3eb
commit 9b815bd
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/CHANGES.md b/CHANGES.md
@@ -38,6 +38,9 @@
 * Extend `llvm_verify_x86` in order to handle x86 functions that spill arguments
   to the stack.
 
+* Fix a bug in which SAW failed to expand type synonyms used in the definition
+  of another type synonym.
+
 # Version 1.0 -- 2023-06-26
 
 ## New Features