Update changelog

ocaml-gospel · Jun 20, 2024 · 9779376 · 9779376
1 parent aadbcb1
commit 9779376
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/CHANGES.md b/CHANGES.md
@@ -1,8 +1,10 @@
 # 0.3.0
 
+- Remove bug in qcheck-stm plugin when returning integers
+- [\#240](https://github.com/ocaml-gospel/ortac/pull/240)
 - Add support for testing functions without a sut argument
   [\#235](https://github.com/ocaml-gospel/ortac/pull/235)
-- Add error for empty command type 
+- Add error for empty command type
   [\#234](https://github.com/ocaml-gospel/ortac/pull/234)
 - Move to a module-based configuration
   [\#214](https://github.com/ocaml-gospel/ortac/pull/214)