X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2FmatitaExcPp.ml;fp=matita%2Fmatita%2FmatitaExcPp.ml;h=a36a723ae6ca20a5781806ee2da6ef5edd0277a6;hb=cd664aefb80554952ed9b010f0c5199ce3a6f8f2;hp=f6bd9b90c125499ce9085efedc3de5c3af3741fb;hpb=a5709dff43233c041f77a4ee4b7f2df1a3c51ab6;p=helm.git

diff --git a/matita/matita/matitaExcPp.ml b/matita/matita/matitaExcPp.ml
index f6bd9b90c..a36a723ae 100644
--- a/matita/matita/matitaExcPp.ml
+++ b/matita/matita/matitaExcPp.ml
@@ -114,10 +114,12 @@ let compact_disambiguation_errors all_passes errorll =
 
 let rec to_string = 
   function
-  | HExtlib.Localized (floc,exn) ->
+    HExtlib.Localized (floc,exn) ->
       let _,msg = to_string exn in
       let (x, y) = HExtlib.loc_of_floc floc in
        Some floc, sprintf "Error at %d-%d: %s" x y msg
+  | NCicLibrary.IncludedFileNotCompiled (s1,s2) ->
+      None, "Including: "^s1^" "^s2^ "\nNothing to do... did you run matitadep?"
   | GrafiteTypes.Command_error msg -> None, "Error: " ^ msg
   | CicNotationParser.Parse_error err ->
       None, sprintf "Parse error: %s" err