X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2Facic_content%2FcicNotationPt.ml;h=d9d92ad6fc5b905cbb9ba0600c441fc95a4d7bf3;hb=249d11773d32add20d665c4f8521b7380e4fec0a;hp=27ec5734f1a9065aa9762feac57aa20cd31b8771;hpb=ec6924edf26b16a808a58bc26356b41450b29cfa;p=helm.git

diff --git a/components/acic_content/cicNotationPt.ml b/components/acic_content/cicNotationPt.ml
index 27ec5734f..d9d92ad6f 100644
--- a/components/acic_content/cicNotationPt.ml
+++ b/components/acic_content/cicNotationPt.ml
@@ -105,7 +105,9 @@ type term =
 
 and meta_subst = term option
 and subst = string * term
-and case_pattern = string * href option * term capture_variable list
+and case_pattern =
+   Pattern of string * href option * term capture_variable list
+ | Wildcard
 
 and box_kind = H | V | HV | HOV
 and box_spec = box_kind * bool * bool (* kind, spacing, indent *)