diff options
Diffstat (limited to 'ide/config_lexer.mll')
-rw-r--r-- | ide/config_lexer.mll | 1 |
1 files changed, 0 insertions, 1 deletions
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; |