Merge pull request #156 from inhabitedtype/rm-debug-printfs

rm-deubg-printfs: remove debug output
inhabitedtype · Oct 4, 2019 · eb6c2e6 · eb6c2e6
2 parents e82623e + 7ba0111
commit eb6c2e6
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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