"Baseuri not set for this script. "
^ "Use 'set \"baseuri\" \"<uri>\".' to set it."
| MatitaTypes.Command_error msg -> "Error: " ^ msg
- | CicTextualParser2.Parse_error (floc,err) ->
- let (x, y) = CicAst.loc_of_floc floc in
+ | 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
| CicEnvironment.Object_not_found uri ->
sprintf "object not found: %s" (UriManager.string_of_uri uri)
+ | Unix.Unix_error (code, api, param) ->
+ let err = Unix.error_message code in
+ "Unix Error (" ^ api ^ "): " ^ err
| exn -> "Uncaught exception: " ^ Printexc.to_string exn