X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_notation%2FcicNotationPp.ml;h=fcb42fd1853a869264b9599faf80aa45d98d240e;hb=619a3a478a4f6b0a50782b620009f6a141c30a53;hp=e04b00b7057cbd622fce15ed55daee247e07057b;hpb=ba2dfe6409e95bf9e558dc0d4be382b068671409;p=helm.git

diff --git a/helm/ocaml/cic_notation/cicNotationPp.ml b/helm/ocaml/cic_notation/cicNotationPp.ml
index e04b00b70..fcb42fd18 100644
--- a/helm/ocaml/cic_notation/cicNotationPp.ml
+++ b/helm/ocaml/cic_notation/cicNotationPp.ml
@@ -141,6 +141,8 @@ and pp_layout = function
   | Box (box_spec, terms) ->
       sprintf "\\%s [%s]" (pp_box_spec box_spec)
         (String.concat " " (List.map pp_term terms))
+  | Group terms ->
+      sprintf "\\GROUP [%s]" (String.concat " " (List.map pp_term terms))
 
 and pp_magic = function
   | List0 (t, sep_opt) ->