From d408e09e5366899f4313f433cc9507ea92458c49 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin <Hugo.Herbelin@inria.fr>
Date: Sat, 16 Apr 2016 22:05:09 +0200
Subject: Fixing printing of keeping hyp on the fly.

---
 printing/pptactic.ml | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/printing/pptactic.ml b/printing/pptactic.ml
index 6f891c5f8..477758551 100644
--- a/printing/pptactic.ml
+++ b/printing/pptactic.ml
@@ -250,8 +250,10 @@ module Make
     | NoBindings -> mt ()
 
   let pr_clear_flag clear_flag pp x =
-    (match clear_flag with Some false -> str "!" | Some true -> str ">" | None -> mt())
-    ++ pp x
+    match clear_flag with
+    | Some false -> surround (pp x)
+    | Some true -> str ">" ++ pp x
+    | None -> pp x
 
   let pr_with_bindings prc prlc (c,bl) =
     prc c ++ pr_bindings prc prlc bl
-- 
cgit v1.2.3