diff options
| author |  pboutill <pboutill@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2011-11-20 20:03:01 +0000 |
|---|---|---|
| committer | pboutill <pboutill@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2011-11-20 20:03:01 +0000 |
| commit | 6600b4e71cc82fc2a7c00e8dc1d4aa5ec1787cf7 (patch) | |
| tree | 259c4924513d58738b46d15dff1007bb68f389e5 /ide/config_lexer.mll | |
| parent | e2da4610f7e27d289ada98383c079c3c939b20c6 (diff) | |
CoqIdE configuration file won't pollute your home anymore
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14694 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'ide/config_lexer.mll')
| -rw-r--r-- | ide/config_lexer.mll | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/ide/config_lexer.mll b/ide/config_lexer.mll index 933baa5dc..57699c686 100644 --- a/ide/config_lexer.mll +++ b/ide/config_lexer.mll @@ -25,7 +25,7 @@ rule prefs m = parse |ignore* (ident as id) ignore* '=' { let conf = str_list [] lexbuf in prefs (Stringmap.add id conf m) lexbuf } | _ { let c = lexeme_start lexbuf in - eprintf ".coqiderc: invalid character (%d)\n@." c; + eprintf "coqiderc: invalid character (%d)\n@." c; prefs m lexbuf } | eof { m } @@ -41,7 +41,7 @@ and string = parse | '"' { Buffer.add_char string_buffer '"' } | '\\' '"' | _ { Buffer.add_string string_buffer (lexeme lexbuf); string lexbuf } - | eof { eprintf ".coqiderc: unterminated string\n@." } + | eof { eprintf "coqiderc: unterminated string\n@." } { |