X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_transformations%2Fast2pres.ml;h=62a63c7753f5341d0e45891fc197d377ecd7f68f;hb=1bcad789810fd37d346e690f18557aeedc6fe08c;hp=0e7a01306f9489f3eb989d73240bb179bb9da4ab;hpb=0d6486664169e87c0f2123f4923ab0aa3e544ebb;p=helm.git

diff --git a/helm/ocaml/cic_transformations/ast2pres.ml b/helm/ocaml/cic_transformations/ast2pres.ml
index 0e7a01306..62a63c775 100644
--- 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)