From ba2e19188284b6853a7d8129c497fe533bd5d25a Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Sun, 14 Aug 2022 14:15:45 -0400
Subject: [PATCH] detail

---
 src/smt/solver.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/smt/solver.ml b/src/smt/solver.ml
index 4c6be1ca..cb08c429 100644
--- a/src/smt/solver.ml
+++ b/src/smt/solver.ml
@@ -177,7 +177,7 @@ let assert_term self t = assert_terms self [ t ]
 
 let solve ?(on_exit = []) ?(check = true) ?(on_progress = fun _ -> ())
     ?(should_stop = fun _ _ -> false) ~assumptions (self : t) : res =
-  Profile.with_ "smt-solver.solve" @@ fun () ->
+  let@ () = Profile.with_ "smt-solver.solve" in
   let do_on_exit () = List.iter (fun f -> f ()) on_exit in
 
   let on_progress =