X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fmatita%2FmatitaExcPp.ml;h=e9e7f488f3ff731c1d9e3ff0fc496f2d9a18a56b;hb=5b306342bf9befa57abd870527d6bd92b0a5ba50;hp=af1aeb882964661d01e722ef905fc3d681c2e545;hpb=64e9baf5488aa0ad2e2d356ef6eb72b8ecb9fca0;p=helm.git

diff --git a/helm/matita/matitaExcPp.ml b/helm/matita/matitaExcPp.ml
index af1aeb882..e9e7f488f 100644
--- a/helm/matita/matitaExcPp.ml
+++ b/helm/matita/matitaExcPp.ml
@@ -63,7 +63,7 @@ let rec to_string =
      None, "Type checking assertion failed: " ^ Lazy.force msg
   | LibrarySync.AlreadyDefined s -> 
      None, "Already defined: " ^ UriManager.string_of_uri s
-  | MatitaDisambiguator.DisambiguationError (offset,errorll) ->
+  | GrafiteDisambiguator.DisambiguationError (offset,errorll) ->
      let rec aux n ?(dummy=false) (prev_msg,phases) =
       function
          [] -> [prev_msg,phases]