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

diff --git a/helm/matita/matitaExcPp.ml b/helm/matita/matitaExcPp.ml
index c672e2e70..74f2c9f41 100644
--- a/helm/matita/matitaExcPp.ml
+++ b/helm/matita/matitaExcPp.ml
@@ -23,14 +23,19 @@
  * http://helm.cs.unibo.it/
  *)
 
-open MatitaTypes;;
-open Printf;;
+open Printf
 
 let to_string = 
   function
-  | Option_error ("baseuri", "not found" ) -> 
-      "Baseuri not set for this script. Use 'set \"baseuri\" \"<uri>\".' to set it."
+  | 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
   | CicTextualParser2.Parse_error (floc,err) ->
       let (x, y) = CicAst.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)
   | exn -> "Uncaught exception: " ^ Printexc.to_string exn
+