with
| CicTextualParser2.Parse_error (floc,err) ->
let (x, y) = CicAst.loc_of_floc floc in
- MatitaLog.message (sprintf "Parse error at %d-%d: %s" x y err);
+ MatitaLog.error (sprintf "Parse error at %d-%d: %s" x y err);
Http_getter.sync_dump_file ();
exit 1
| exn ->