From dc1eeee26ce70544a078696dc94f380362959e5b Mon Sep 17 00:00:00 2001
From: herbelin
Date: Tue, 3 Nov 2009 10:38:58 +0000
Subject: Removed debugging stuff mistakenly introduced in r12426.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12465 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 tools/coqdoc/index.mll | 1 -
 1 file changed, 1 deletion(-)

(limited to 'tools')

diff --git a/tools/coqdoc/index.mll b/tools/coqdoc/index.mll
index 7f770f0f51..48248d8fb9 100644
--- a/tools/coqdoc/index.mll
+++ b/tools/coqdoc/index.mll
@@ -161,7 +161,6 @@ let find_external_library logicalpath =
   let rec aux = function
     | [] -> raise Not_found
     | (l,u)::rest ->
-        Printf.eprintf "Looking for %s in %s\n%!" l logicalpath;
         if String.length logicalpath > String.length l &
           String.sub logicalpath 0 (String.length l + 1) = l ^"."
         then u
-- 
cgit v1.2.3