From 3f523f03200845e7f6e63c366dca4a62152b1974 Mon Sep 17 00:00:00 2001
From: monate <monate@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Mon, 3 Mar 2003 19:02:03 +0000
Subject: CoqIDE: copy/paste

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

(limited to 'ide/config_lexer.mll')

diff --git a/ide/config_lexer.mll b/ide/config_lexer.mll
index 467f68704..0d0e6307e 100644
--- a/ide/config_lexer.mll
+++ b/ide/config_lexer.mll
@@ -43,7 +43,6 @@ and split_list = parse
     begin try 
       while true do 
 	let r = next_config lb in
-	prerr_endline (fst r);
 	result := r::!result
       done
     with End_of_file -> close_in ci; 
-- 
cgit v1.2.3