X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2FmatitaExcPp.ml;h=f141b129a73b686448c694a334af057e8d5f7de6;hb=e6b28085c97ae7b9bd3f3262b105f6b84f42b047;hp=74f2c9f41a03432d8aca76b8a4af059c2da456fb;hpb=6857e22b8a58162893119f7747c5848031fd59ce;p=helm.git

diff --git a/helm/matita/matitaExcPp.ml b/helm/matita/matitaExcPp.ml
index 74f2c9f41..f141b129a 100644
--- a/helm/matita/matitaExcPp.ml
+++ b/helm/matita/matitaExcPp.ml
@@ -31,11 +31,14 @@ let to_string =
       "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