better pp in Appl

diff --git a/helm/software/components/ng_kernel/nCicPp.ml b/helm/software/components/ng_kernel/nCicPp.ml
index 216da00a40fc96aeaf617c458a399e10faafde82..82349980f6595506dee545f554a11c2a5e193e9d 100644 (file)
--- 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 ")@]"