X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fcomponents%2Fng_tactics%2FnDestructTac.ml;h=ef564afc6dbe7e63823679d338313bd652b0803b;hb=d6f1365a9f1cb48af8a7b32cf074373466779e7e;hp=0ed800626d762480895d176fefd9020e3a6b9493;hpb=cacbe3c6493ddce76c4c13379ade271d8dd172e8;p=helm.git

diff --git a/matitaB/components/ng_tactics/nDestructTac.ml b/matitaB/components/ng_tactics/nDestructTac.ml
index 0ed800626..ef564afc6 100644
--- a/matitaB/components/ng_tactics/nDestructTac.ml
+++ b/matitaB/components/ng_tactics/nDestructTac.ml
@@ -41,7 +41,7 @@ let fresh_name =
 
 let mk_id id =
  let id = if id = "_" then fresh_name () else id in
-  NotationPt.Ident (id,None)
+  NotationPt.Ident (id,`Ambiguous)
 ;;
 
 let rec mk_prods l t =