use match to avoid building string in the happy case

o1-labs · Oct 3, 2023 · deda9f9 · deda9f9
1 parent 627c3c1
commit deda9f9
Showing 1 changed file with 9 additions and 5 deletions.
diff --git a/src/base/checked_runner.ml b/src/base/checked_runner.ml
@@ -256,11 +256,15 @@ struct
           let old = Run_state.as_prover s in
           Run_state.set_as_prover s true ;
           let value =
-            As_prover.Provider.run p (get_value s) (Run_state.handler s)
-            |> Option.value_exn
-                 ~message:
-                   ( "Unhandled request: "
-                   ^ Core_kernel.String.concat ~sep:"\n" (Run_state.stack s) )
+            match
+              As_prover.Provider.run p (get_value s) (Run_state.handler s)
+            with
+            | Some x ->
+                x
+            | None ->
+                failwith
+                  ( "Unhandled request: "
+                  ^ Core_kernel.String.concat ~sep:"\n" (Run_state.stack s) )
           in
           Run_state.set_as_prover s old ;
           let var =