- | MatitaTypes.Command_error msg -> "Error: " ^ msg
- | CicNotationParser.Parse_error (floc,err) ->
- let (x, y) = CicNotationPt.loc_of_floc floc in
- sprintf "Parse error at %d-%d: %s" x y err
- | UriManager.IllFormedUri uri -> sprintf "invalid uri: %s" uri
+ | MatitaTypes.Command_error msg -> None, "Error: " ^ msg
+ | CicNotationParser.Parse_error err ->
+ None, sprintf "Parse error: %s" err
+ | UriManager.IllFormedUri uri -> None, sprintf "invalid uri: %s" uri