From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Wed, 9 Apr 2008 14:57:13 +0000 (+0000)
Subject: better pp in Appl
X-Git-Tag: make_still_working~5378
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=5b265471ff8da58400656f4899e8a2f398e8a2ad;p=helm.git

better pp in Appl
---

diff --git a/helm/software/components/ng_kernel/nCicPp.ml b/helm/software/components/ng_kernel/nCicPp.ml
index 216da00a4..82349980f 100644
--- a/helm/software/components/ng_kernel/nCicPp.ml
+++ b/helm/software/components/ng_kernel/nCicPp.ml
@@ -100,7 +100,7 @@ let trivial_pp_term ~context ~subst ~metasenv ?(inside_fix=false) t =
          end;
       F.fprintf f "]@] @]";
    | C.Appl l -> 
-       F.fprintf f "@[<h 2>(";
+       F.fprintf f "@[<hv 2>(";
        aux ctx (List.hd l);
        List.iter (fun x -> F.fprintf f "@;";aux ctx x) (List.tl l);
        F.fprintf f ")@]"