From cfd961ef2128e653cca38b7a4420b29f72e999e3 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Mon, 22 Jan 2024 20:59:59 -0500
Subject: [PATCH] remove debug

---
 src/core/Test_detailed_res.ml | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/core/Test_detailed_res.ml b/src/core/Test_detailed_res.ml
index 905e066..5f9c8a2 100644
--- a/src/core/Test_detailed_res.ml
+++ b/src/core/Test_detailed_res.ml
@@ -169,9 +169,7 @@ let get_res db prover file : _ * proof_check_res option =
       { Run_proc_result.errcode; stdout; stderr; rtime; utime; stime }
   in
   let proof_check_res = get_proof_check db prover file in
-  Logs.info (fun k -> k "try to get prover");
   let prover = Prover.of_db db prover in
-  Logs.info (fun k -> k "got prover");
   Run_result.map ~f:(fun _ -> prover) res, proof_check_res
 
 module PB = PrintBox