"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 ->