Matitaweb:

[helm.git] / matitaB / components / grafite_engine / nCicCoercDeclaration.ml

diff --git a/matitaB/components/grafite_engine/nCicCoercDeclaration.ml b/matitaB/components/grafite_engine/nCicCoercDeclaration.ml
index cf3c127b95371d9536bb0d7a3a3c9e5e7d265c5e..52b074c4afc63982fbc644f7b0f923460d216242 100644 (file)
--- a/matitaB/components/grafite_engine/nCicCoercDeclaration.ml
+++ b/matitaB/components/grafite_engine/nCicCoercDeclaration.ml
@@ -145,7 +145,7 @@ let src_tgt_cpos_arity_of_ty_id_src_tgt status ty id src tgt =
            with 
            | NCicUnification.UnificationFailure _
            | NCicUnification.Uncertain _
-           | MultiPassDisambiguator.DisambiguationError _ ->
+           | GrafiteDisambiguate.Error _ -> 
                raise (GrafiteTypes.Command_error "bad source pattern"))
       | _ -> assert false
     in