Update CHANGES

ocaml-gospel · Apr 3, 2024 · e683d7e · e683d7e
1 parent 60078b5
commit e683d7e
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/CHANGES.md b/CHANGES.md
@@ -16,6 +16,8 @@
 
 ## Internals
 
+- Fix premature parsing of specification keywords in the preprocessor.
+  [\#394](https://github.com/ocaml-gospel/gospel/pull/394)
 - Fix the `is_ts_tuple` function so that it doesn't take `unit` to be a tuple
   [\#386](https://github.com/ocaml-gospel/gospel/pull/386)
 - Use unique identifiers rather than physical equality for `Symbols.ls_equal`