From 03a8524974efc04e2e3ca7b4758a713ccf992a57 Mon Sep 17 00:00:00 2001
From: zapashcanon <leo@ndrs.fr>
Date: Sat, 17 Feb 2024 09:17:29 +0100
Subject: [PATCH] clean log

---
 src/log.ml  | 15 ---------------
 src/log.mli | 39 ---------------------------------------
 2 files changed, 54 deletions(-)

diff --git a/src/log.ml b/src/log.ml
index 099899726..17c8f6fed 100644
--- a/src/log.ml
+++ b/src/log.ml
@@ -12,23 +12,8 @@ let debug1 t a : unit = if !debug_on then Format.pp_err t a
 
 let debug2 t a b : unit = if !debug_on then Format.pp_err t a b
 
-let debug3 t a b c : unit = if !debug_on then Format.pp_err t a b c
-
-let debug4 t a b c d : unit = if !debug_on then Format.pp_err t a b c d
-
 let debug5 t a b c d e : unit = if !debug_on then Format.pp_err t a b c d e
 
-let profile0 t : unit = if !profiling_on then Format.pp_err t
-
-let profile1 t a : unit = if !profiling_on then Format.pp_err t a
-
-let profile2 t a b : unit = if !profiling_on then Format.pp_err t a b
-
 let profile3 t a b c : unit = if !profiling_on then Format.pp_err t a b c
 
-let profile4 t a b c d : unit = if !profiling_on then Format.pp_err t a b c d
-
-let profile5 t a b c d e : unit =
-  if !profiling_on then Format.pp_err t a b c d e
-
 let err f = Format.kasprintf failwith f
diff --git a/src/log.mli b/src/log.mli
index 48dc44df3..e3b365412 100644
--- a/src/log.mli
+++ b/src/log.mli
@@ -14,21 +14,6 @@ val debug1 : ('a -> unit, Format.formatter, unit) format -> 'a -> unit
 val debug2 :
   ('a -> 'b -> unit, Format.formatter, unit) format -> 'a -> 'b -> unit
 
-val debug3 :
-     ('a -> 'b -> 'c -> unit, Format.formatter, unit) format
-  -> 'a
-  -> 'b
-  -> 'c
-  -> unit
-
-val debug4 :
-     ('a -> 'b -> 'c -> 'd -> unit, Format.formatter, unit) format
-  -> 'a
-  -> 'b
-  -> 'c
-  -> 'd
-  -> unit
-
 val debug5 :
      ('a -> 'b -> 'c -> 'd -> 'e -> unit, Format.formatter, unit) format
   -> 'a
@@ -39,13 +24,6 @@ val debug5 :
   -> unit
 
 (** print some profiling info *)
-val profile0 : (unit, Format.formatter, unit) format -> unit
-
-val profile1 : ('a -> unit, Format.formatter, unit) format -> 'a -> unit
-
-val profile2 :
-  ('a -> 'b -> unit, Format.formatter, unit) format -> 'a -> 'b -> unit
-
 val profile3 :
      ('a -> 'b -> 'c -> unit, Format.formatter, unit) format
   -> 'a
@@ -53,22 +31,5 @@ val profile3 :
   -> 'c
   -> unit
 
-val profile4 :
-     ('a -> 'b -> 'c -> 'd -> unit, Format.formatter, unit) format
-  -> 'a
-  -> 'b
-  -> 'c
-  -> 'd
-  -> unit
-
-val profile5 :
-     ('a -> 'b -> 'c -> 'd -> 'e -> unit, Format.formatter, unit) format
-  -> 'a
-  -> 'b
-  -> 'c
-  -> 'd
-  -> 'e
-  -> unit
-
 (** print some error and exit *)
 val err : ('a, Format.formatter, unit, 'b) format4 -> 'a