From 7ba011100db2dc40eac4b38dddc2ae73bd1e1a30 Mon Sep 17 00:00:00 2001 From: Spiros Eliopoulos Date: Thu, 3 Oct 2019 20:58:57 -0400 Subject: [PATCH] rm-deubg-printfs: remove debug output --- lib/headers.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/lib/headers.ml b/lib/headers.ml index 1941e4ca..ed3c4a5a 100644 --- a/lib/headers.ml +++ b/lib/headers.ml @@ -108,8 +108,8 @@ let remove t name = if not seen then raise Local else [] | (name,_ as nv')::s' -> if CI.equal needle name - then (print_endline "seen: true"; loop s' needle true ) - else (print_endline "seen: false"; nv'::(loop s' needle seen)) + then loop s' needle true + else nv'::(loop s' needle seen) in try loop t name false with Local -> t