X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fng_disambiguation%2FdisambiguateChoices.ml;h=6c335ab64aa335d16c4c3df9ddf93561c33b1062;hb=8a660ee06d72cfee52c707bb1d8d8be3bab0d682;hp=3da5f9baa54d1756dec10e8d0ad87d659c582fe0;hpb=5553ac7623425bce6f34eed6e17d4f0f8163e9aa;p=helm.git

diff --git a/matita/components/ng_disambiguation/disambiguateChoices.ml b/matita/components/ng_disambiguation/disambiguateChoices.ml
index 3da5f9baa..6c335ab64 100644
--- a/matita/components/ng_disambiguation/disambiguateChoices.ml
+++ b/matita/components/ng_disambiguation/disambiguateChoices.ml
@@ -57,7 +57,7 @@ let mk_choice  ~mk_appl ~mk_implicit ~term_of_uri ~term_of_nref (dsc, args, appl
   (fun cic_args ->
     let env',rest =
       let names =
-        List.map (function CicNotationPt.IdentArg (_, name) -> name) args
+        List.map (function NotationPt.IdentArg (_, name) -> name) args
       in
        let rec combine_with_rest l1 l2 =
         match l1,l2 with