some hacks to make the sequent window pretty nice

[helm.git] / helm / ocaml / cic_transformations / sequent2pres.ml

diff --git a/helm/ocaml/cic_transformations/sequent2pres.ml b/helm/ocaml/cic_transformations/sequent2pres.ml
index 24a3487b807b3db4fadd2a5f0e0adfc28a7a5064..ad2724134f47562b6c0c58633a3941a26b7a8967 100644 (file)
--- a/helm/ocaml/cic_transformations/sequent2pres.ml
+++ b/helm/ocaml/cic_transformations/sequent2pres.ml
@@ -87,8 +87,7 @@ let sequent2pres term2pres (_,_,context,ty) =
  let pres_goal = term2pres ty in 
  (Box.b_h [] [
    Box.b_space; 
-   (Box.b_v
-      []
+   (Box.b_v []
       [Box.b_space;
        pres_context;
        b_ink [None,"width","4cm"; None,"height","2px"]; (* sequent line *)