X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_notation%2Fbox.ml;h=241214f9ce883aa993deef1695458b2c1df3d3dc;hb=b9af9f1c0de6a1735b492f5c793a87a8fce218cc;hp=3c079d3162701d72397abad40d84a8d8fd09843d;hpb=08ecc780b3b0a4cac7ed72cf68c310e4eeffa2c1;p=helm.git

diff --git a/helm/ocaml/cic_notation/box.ml b/helm/ocaml/cic_notation/box.ml
index 3c079d316..241214f9c 100644
--- a/helm/ocaml/cic_notation/box.ml
+++ b/helm/ocaml/cic_notation/box.ml
@@ -111,8 +111,8 @@ let document_of_box ~obj2xml pres =
 
 let b_h a b = H(a,b)
 let b_v a b = V(a,b)
-let b_hv a b = H(a,b)
-let b_hov a b = V(a,b)
+let b_hv a b = HV(a,b)
+let b_hov a b = HOV(a,b)
 let b_text a b = Text(a,b)
 let b_object b = Object ([],b)
 let b_indent = indent