| CicTextualParser2.Parse_error (floc, msg) ->
let (x, y) = CicAst.loc_of_floc floc in
sprintf "parse error at character %d-%d: %s" x y msg
| CicTextualParser2.Parse_error (floc, msg) ->
let (x, y) = CicAst.loc_of_floc floc in
sprintf "parse error at character %d-%d: %s" x y msg