From f53244e359bfff807f903344fb864ece09674f19 Mon Sep 17 00:00:00 2001
From: letouzey
Date: Sat, 17 Nov 2012 16:24:34 +0000
Subject: Print Assumptions: restore a final \n

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15979 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 toplevel/vernacentries.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/toplevel/vernacentries.ml b/toplevel/vernacentries.ml
index 71f7f39a3e..44120dcb3b 100644
--- a/toplevel/vernacentries.ml
+++ b/toplevel/vernacentries.ml
@@ -1383,7 +1383,7 @@ let vernac_print = function
       let st = Conv_oracle.get_transp_state () in
       let nassums =
 	Assumptions.assumptions st ~add_opaque:o ~add_transparent:t cstr in
-      msg (Printer.pr_assumptionset (Global.env ()) nassums)
+      msg_notice (Printer.pr_assumptionset (Global.env ()) nassums)
 
 let global_module r =
   let (loc,qid) = qualid_of_reference r in
-- 
cgit v1.2.3