remove debug

sneeuwballen · Jan 23, 2024 · cfd961e · cfd961e
1 parent 928d472
commit cfd961e
Showing 1 changed file with 0 additions and 2 deletions.
diff --git 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