X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=matitaB%2Fcomponents%2Fng_tactics%2FnInversion.ml;h=9319683ed2740fe9f32f414c953f54fee9d1fe48;hb=a7b54fb6f31e5ac626853890686ee54033dc7b24;hp=cf4711db51f25320bcd6664822399e307f0b8662;hpb=cacbe3c6493ddce76c4c13379ade271d8dd172e8;p=helm.git

diff --git a/matitaB/components/ng_tactics/nInversion.ml b/matitaB/components/ng_tactics/nInversion.ml
index cf4711db5..9319683ed 100644
--- a/matitaB/components/ng_tactics/nInversion.ml
+++ b/matitaB/components/ng_tactics/nInversion.ml
@@ -23,7 +23,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 split_arity status ~subst context te =