diff options
| author | letouzey | 2012-11-17 16:24:34 +0000 |
|---|---|---|
| committer | letouzey | 2012-11-17 16:24:34 +0000 |
| commit | f53244e359bfff807f903344fb864ece09674f19 (patch) | |
| tree | 811d6fb91cb3dc539ac2231e30a6167dcd672316 | |
| parent | 35846ec22445e14cb044ef3beb62f5c559d94752 (diff) | |
Print Assumptions: restore a final \n
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15979 85f007b7-540e-0410-9357-904b9bb8a0f7
| -rw-r--r-- | toplevel/vernacentries.ml | 2 |
1 files changed, 1 insertions, 1 deletions
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 |