From 4f7006fe375302c5aa9abf85b66554ca2e0bb13c Mon Sep 17 00:00:00 2001
From: Gregor <gregor.mitscha-baude@gmx.at>
Date: Wed, 28 Feb 2024 14:53:05 +0100
Subject: [PATCH] ocamlformat

---
 src/base/snark_intf.ml | 11 +++++++----
 1 file changed, 7 insertions(+), 4 deletions(-)

diff --git a/src/base/snark_intf.ml b/src/base/snark_intf.ml
index 877296038..777ef6c66 100644
--- a/src/base/snark_intf.ml
+++ b/src/base/snark_intf.ml
@@ -1381,9 +1381,9 @@ module type Run_basic = sig
     -> Proof_inputs.t
 
   type ('input_var, 'return_var, 'result) manual_callbacks =
-      { run_circuit : 'a. ('input_var -> unit -> 'a) -> 'a
-      ; finish_computation : 'return_var -> 'result
-      }
+    { run_circuit : 'a. ('input_var -> unit -> 'a) -> 'a
+    ; finish_computation : 'return_var -> 'result
+    }
 
   (** Callback version of [constraint_system]. *)
   val constraint_system_manual :
@@ -1397,7 +1397,10 @@ module type Run_basic = sig
     -> input_typ:('input_var, 'input_value) Typ.t
     -> return_typ:('return_var, 'return_value) Typ.t
     -> 'input_value
-    -> ('input_var, 'return_var, Proof_inputs.t * 'return_value) manual_callbacks
+    -> ( 'input_var
+       , 'return_var
+       , Proof_inputs.t * 'return_value )
+       manual_callbacks
 
   (** Generate the public input vector for a given statement. *)
   val generate_public_input :