Permalink
Browse files

Print Assumptions: restore a final \n

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15979 85f007b7-540e-0410-9357-904b9bb8a0f7
  • Loading branch information...
1 parent 35846ec commit f53244e359bfff807f903344fb864ece09674f19 letouzey committed Nov 17, 2012
Showing with 1 addition and 1 deletion.
  1. +1 −1 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

0 comments on commit f53244e

Please sign in to comment.