From 5b265471ff8da58400656f4899e8a2f398e8a2ad Mon Sep 17 00:00:00 2001
From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Wed, 9 Apr 2008 14:57:13 +0000
Subject: [PATCH] better pp in Appl
---
helm/software/components/ng_kernel/nCicPp.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
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 ")@]"
--
2.39.2