X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fcontent_pres%2Fcontent2presMatcher.ml;h=23f62092496d16eb7b47dd086d0ba0b017671616;hb=ddd6560f4e70ec3306d223738a441d5f1dd3eac9;hp=0e85618896833b254b52e12970ff81f6a3f96b72;hpb=cf9b09a0c18200c1052648eeace74dc2915706d5;p=helm.git

diff --git a/helm/software/components/content_pres/content2presMatcher.ml b/helm/software/components/content_pres/content2presMatcher.ml
index 0e8561889..23f620924 100644
--- a/helm/software/components/content_pres/content2presMatcher.ml
+++ b/helm/software/components/content_pres/content2presMatcher.ml
@@ -36,7 +36,7 @@ let get_tag term0 =
   let subterms = ref [] in
   let map_term t =
     subterms := t :: !subterms ; 
-    Ast.Implicit
+    Ast.Implicit `JustOne
   in
   let rec aux t = 
     CicNotationUtil.visit_ast