* added group box (?)

[helm.git] / helm / ocaml / cic_notation / cicNotationPt.ml

diff --git a/helm/ocaml/cic_notation/cicNotationPt.ml b/helm/ocaml/cic_notation/cicNotationPt.ml
index 5ad1f0b5b1896d4006aed511b0f00761d235e337..322ce401b17cb76d1ea645a4cecdef458456076c 100644 (file)
--- a/helm/ocaml/cic_notation/cicNotationPt.ml
+++ b/helm/ocaml/cic_notation/cicNotationPt.ml
@@ -109,6 +109,7 @@ and layout_pattern =
   | Root of term * term (* argument, index *)
   | Break
   | Box of box_spec * term list
+  | Group of term list
 
 and magic_term =
   (* level 1 magics *)