From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Tue, 26 Jul 2005 14:58:55 +0000 (+0000)
Subject: fixed typo in helpers for generating hv and hov boxes
X-Git-Tag: V_0_7_2~62
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=82fa16ab2ddac93fdfb976c952ad31315c15d8b9;p=helm.git

fixed typo in helpers for generating hv and hov boxes
---

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