X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_notation%2FcicNotationPp.ml;h=d815506378f90924fa8cd79eda5f4b2cbf09e5bb;hb=cb408b9ea336cd8efb990f7a1c88b566ccf0bd2e;hp=bc9f33f51963bacd821efb8e6e130844925f26c4;hpb=f7759f86b755f4f7dc2b23edd52ed4d2e5c028fe;p=helm.git

diff --git a/helm/ocaml/cic_notation/cicNotationPp.ml b/helm/ocaml/cic_notation/cicNotationPp.ml
index bc9f33f51..d81550637 100644
--- a/helm/ocaml/cic_notation/cicNotationPp.ml
+++ b/helm/ocaml/cic_notation/cicNotationPp.ml
@@ -129,11 +129,15 @@ and pp_layout = function
   | Sqrt t -> sprintf "\\SQRT %s" (pp_term t)
   | Root (arg, index) ->
       sprintf "\\ROOT %s \\OF %s" (pp_term index) (pp_term arg)
-  | Break -> "\\BREAK"
+(*   | Break -> "\\BREAK" *)
   | Box (H, terms) ->
       sprintf "\\HBOX [%s]" (String.concat " " (List.map pp_term terms))
   | Box (V, terms) ->
       sprintf "\\VBOX [%s]" (String.concat " " (List.map pp_term terms))
+  | Box (HV, terms) ->
+      sprintf "\\HVBOX [%s]" (String.concat " " (List.map pp_term terms))
+  | Box (HOV, terms) ->
+      sprintf "\\HOVBOX [%s]" (String.concat " " (List.map pp_term terms))
 
 and pp_magic = function
   | List0 (t, sep_opt) ->