Mention #1986 in CHANGES.md

GaloisInc · Feb 1, 2024 · ca21af2 · ca21af2
1 parent 98182a6
commit ca21af2
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