From 3a4e701b78c0422b019bbac3ea39198126de0677 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Sat, 23 Sep 2006 09:36:05 +0000
Subject: Déplacement surround dans util.ml et parenthésage des déclarations
 castées si aussi suivies de leur type (p.ex. dans les hypothèses de but),
 afin d'éviter des configurations non réinterprétables comme x:nat:nat.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9164 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 lib/util.ml  | 2 ++
 lib/util.mli | 2 ++
 2 files changed, 4 insertions(+)

(limited to 'lib')

diff --git a/lib/util.ml b/lib/util.ml
index 599e17adf4..dc25caefee 100644
--- a/lib/util.ml
+++ b/lib/util.ml
@@ -813,6 +813,8 @@ let prvect_with_sep sep elem v =
   let n = Array.length v in
   if n = 0 then mt () else pr (n - 1)
 
+let surround p = hov 1 (str"(" ++ p ++ str")")
+
 (*s Size of ocaml values. *)
 
 module Size = struct
diff --git a/lib/util.mli b/lib/util.mli
index a5089a2de0..9951aa1c57 100644
--- a/lib/util.mli
+++ b/lib/util.mli
@@ -240,6 +240,8 @@ val prlist_with_sep :
 val prvect_with_sep :
    (unit -> std_ppcmds) -> ('b -> std_ppcmds) -> 'b array -> std_ppcmds
 val pr_vertical_list : ('b -> std_ppcmds) -> 'b list -> std_ppcmds
+val surround : std_ppcmds -> std_ppcmds
+
 
 (*s Size of an ocaml value (in words, bytes and kilobytes). *)
 
-- 
cgit v1.2.3