From cc03a5f82efa451b6827af9a9b42cee356ed4f8a Mon Sep 17 00:00:00 2001 From: ppedrot Date: Fri, 14 Dec 2012 13:41:11 +0000 Subject: Fixing CoqIDE compilation git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16070 85f007b7-540e-0410-9357-904b9bb8a0f7 --- ide/config_lexer.mll | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'ide/config_lexer.mll') diff --git a/ide/config_lexer.mll b/ide/config_lexer.mll index 0a6b802eb..1d83748b6 100644 --- a/ide/config_lexer.mll +++ b/ide/config_lexer.mll @@ -22,7 +22,7 @@ let ignore = space | ('#' [^ '\n']*) rule prefs m = parse |ignore* (ident as id) ignore* '=' { let conf = str_list [] lexbuf in - prefs (Util.Stringmap.add id conf m) lexbuf } + prefs (Util.String.Map.add id conf m) lexbuf } | _ { let c = lexeme_start lexbuf in eprintf "coqiderc: invalid character (%d)\n@." c; prefs m lexbuf } @@ -47,7 +47,7 @@ and string = parse let load_file f = let c = open_in f in let lb = from_channel c in - let m = prefs Util.Stringmap.empty lb in + let m = prefs Util.String.Map.empty lb in close_in c; m @@ -58,7 +58,7 @@ and string = parse | [] -> () | s :: sl -> fprintf fmt "%S@ %a" s print_list sl in - Util.Stringmap.iter + Util.String.Map.iter (fun k s -> fprintf fmt "@[%s = %a@]@\n" k print_list s) m; fprintf fmt "@."; close_out c -- cgit v1.2.3