Add Changes entry

ocaml · Apr 19, 2021 · d504b58 · d504b58
1 parent 9b2c634
commit d504b58
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/Changes b/Changes
@@ -107,6 +107,10 @@ Working version
 - #10349: Fix destroyed_at_c_call on RISC-V
   (Mark Shinwell, review by Nicolás Ojeda Bär)
 
+- #1400: Add an optional invariants check on Cmm, which can be activated
+  with the -dcmm-invariants flag
+  (Vincent Laviron)
+
 ### Type system:
 
 * #10081: Typecheck `x |> f` and `f @@ x` as `(f x)`