diff options
Diffstat (limited to 'plugins/xml/cic2acic.ml')
-rw-r--r-- | plugins/xml/cic2acic.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/plugins/xml/cic2acic.ml b/plugins/xml/cic2acic.ml index ec0910d7f..e29fcd0e8 100644 --- a/plugins/xml/cic2acic.ml +++ b/plugins/xml/cic2acic.ml @@ -23,8 +23,8 @@ let get_module_path_of_full_path path = (function modul -> Libnames.is_dirpath_prefix_of modul dirpath) modules with [] -> - Pp.warning ("Modules not supported: reference to "^ - Libnames.string_of_path path^" will be wrong"); + Pp.msg_warning (Pp.str ("Modules not supported: reference to "^ + Libnames.string_of_path path^" will be wrong")); dirpath | [modul] -> modul | _ -> |