* Part of matita that used to deal with the library moved into ocaml/library

[helm.git] / helm / matita / matitaExcPp.ml

diff --git a/helm/matita/matitaExcPp.ml b/helm/matita/matitaExcPp.ml
index b79fea6631212e79be1374aa8041800af9c91bc2..fcb02234577fe85e9b16cb74d2bb27cd547127e0 100644 (file)
--- a/helm/matita/matitaExcPp.ml
+++ b/helm/matita/matitaExcPp.ml
@@ -44,12 +44,12 @@ let rec to_string =
   | Unix.Unix_error (code, api, param) ->
       let err = Unix.error_message code in
       None, "Unix Error (" ^ api ^ "): " ^ err
-  | MatitaMoo.Corrupt_moo fname ->
+  | GrafiteMarshal.Corrupt_moo fname ->
       None, sprintf ".moo file '%s' is corrupt (shorter than expected)" fname
-  | MatitaMoo.Checksum_failure fname ->
+  | GrafiteMarshal.Checksum_failure fname ->
       None,
        sprintf "checksum failed for .moo file '%s', please recompile it'" fname
-  | MatitaMoo.Version_mismatch fname ->
+  | GrafiteMarshal.Version_mismatch fname ->
       None,
       sprintf
         (".moo file '%s' has been compiled by a different version of matita, "