From 82fa16ab2ddac93fdfb976c952ad31315c15d8b9 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Tue, 26 Jul 2005 14:58:55 +0000 Subject: [PATCH] fixed typo in helpers for generating hv and hov boxes --- helm/ocaml/cic_notation/box.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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 -- 2.39.2