- | Option_error ("baseuri", "not found" ) ->
- "Baseuri not set for this script. Use 'set \"baseuri\" \"<uri>\".' to set it."
- | CicTextualParser2.Parse_error (floc,err) ->
- let (x, y) = CicAst.loc_of_floc floc in
+ | MatitaTypes.Option_error ("baseuri", "not found" ) ->
+ "Baseuri not set for this script. "
+ ^ "Use 'set \"baseuri\" \"<uri>\".' to set it."
+ | MatitaTypes.Command_error msg -> "Error: " ^ msg
+ | CicNotationParser.Parse_error (floc,err) ->
+ let (x, y) = CicNotationPt.loc_of_floc floc in