changes

Gbury · Oct 14, 2023 · 5b219c9 · 5b219c9
1 parent 8e68874
commit 5b219c9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/CHANGES.md b/CHANGES.md
@@ -13,7 +13,7 @@ next
 
 ### Parsing
 
-- Add parsing extensions for the smtlib2 language (PR#190)
+- Add parsing extensions for the smtlib2 language (PR#190, PR#194)
 - Better split elements of clauses in `cnf` TPTP statements (PR#190)
 - Ensure illegal chars raise the correct error during lexing
   (Issue#191, PR#192)