From eed141b08fa0503f638c351858aa127d489e7058 Mon Sep 17 00:00:00 2001
From: Guillaume Bury <guillaume.bury@gmail.com>
Date: Wed, 1 Feb 2023 14:38:09 +0100
Subject: [PATCH] remove debug printing

---
 src/bin/stats.ml | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/bin/stats.ml b/src/bin/stats.ml
index 9d5677d65..13795a746 100644
--- a/src/bin/stats.ml
+++ b/src/bin/stats.ml
@@ -110,7 +110,6 @@ let new_input st input_name input_size =
     end else
       st
   in
-  Tui.printf "new input : %s / size : %d@." input_name input_size;
   key, st
 
 let record_parsed st input counter loc =
@@ -132,7 +131,6 @@ let record_parsed st input counter loc =
           let typing = State.get typing_key st in
           Tui.Bar.add_to_process typing ~loc
         end;
-        Tui.printf "parsed(%s): %a@." (State.key_name input) Dolmen.Std.Loc.print_compact loc;
         st
     end