Rename function, see mina#14205 and mina#14206

o1-labs · Oct 31, 2023 · 667090e · 667090e
1 parent abbecc3
commit 667090e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/ocaml/lib/pickles_bindings.ml b/ocaml/lib/pickles_bindings.ml
@@ -465,7 +465,7 @@ let pickles_compile (choices : pickles_rule_js array)
   let public_output_size = signature##.publicOutputSize in
   let override_wrap_domain =
     Js.Optdef.to_option signature##.overrideWrapDomain
-    |> Option.map ~f:Pickles_base.Proofs_verified.of_int
+    |> Option.map ~f:Pickles_base.Proofs_verified.of_int_exn
   in
   let (Choices choices) =
     Choices.of_js ~public_input_size ~public_output_size choices