"error" implies "div=safe"

ocaml-flambda · May 3, 2024 · 116e08d · 116e08d
1 parent e370943
commit 116e08d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/ocaml/parsing/builtin_attributes.ml b/ocaml/parsing/builtin_attributes.ml
@@ -854,7 +854,7 @@ let zero_alloc_lookup_table =
                 arity; loc; });
     (["assume"; "error"],
      fun arity loc ->
-       Assume { property; strict = false; never_returns_normally = true;
+       Assume { property; strict = true; never_returns_normally = true;
                 never_raises = true;
                 arity; loc; });
     (["ignore"], fun _ _ -> Ignore_assert_all property)