Empty Box.Text changed to Box.smallskip.

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

diff --git a/helm/ocaml/cic_transformations/ast2pres.ml b/helm/ocaml/cic_transformations/ast2pres.ml
index 0e7a01306f9489f3eb989d73240bb179bb9da4ab..62a63c7753f5341d0e45891fc197d377ecd7f68f 100644 (file)
--- a/helm/ocaml/cic_transformations/ast2pres.ml
+++ b/helm/ocaml/cic_transformations/ast2pres.ml
@@ -367,7 +367,7 @@ let ast2astBox ?(unicode = true) ?(priority = 0) ?(assoc = false) ?(tail = [])
                        (* ignoring the type *)
                        (Cic.Anonymous, _) -> Box.Text([],"_")
                      | (Cic.Name s, _) -> Box.Text([],s) in
-                   Box.Text([]," ")::bv::acc) vars [Box.Text([],")")] in
+                   Box.smallskip::bv::acc) vars [Box.Text([],")")] in
             Box.H([],Box.Text([],"(")::Box.Text([],constr)::bvars)