X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=matitaB%2Fcomponents%2Fng_tactics%2FnTacStatus.ml;h=26e4ade40b2c92d3dfb986c9529c6d9c91b95c9e;hb=89fc31fc5cc01e8860cf67a8e096c24125370d31;hp=3a07acc05a641de942ae1c88a2e507234d1a8384;hpb=4f3b04e9966484011328d5b0eb358da4416e29b0;p=helm.git

diff --git a/matitaB/components/ng_tactics/nTacStatus.ml b/matitaB/components/ng_tactics/nTacStatus.ml
index 3a07acc05..26e4ade40 100644
--- a/matitaB/components/ng_tactics/nTacStatus.ml
+++ b/matitaB/components/ng_tactics/nTacStatus.ml
@@ -27,7 +27,7 @@ module NRef = NReference
 let wrap fname f x =
   try f x 
   with 
-  | MultiPassDisambiguator.DisambiguationError _ 
+  | GrafiteDisambiguate.Error _
   | NCicRefiner.RefineFailure _ 
   | NCicUnification.UnificationFailure _ 
   | NCicTypeChecker.TypeCheckerFailure _