From 7d2282bc2b9258c5b7d575ada1292a2a06ad0544 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr>
Date: Sat, 15 Nov 2014 20:01:28 +0100
Subject: Removing a pperrnl.

---
 toplevel/vernac.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'toplevel')

diff --git a/toplevel/vernac.ml b/toplevel/vernac.ml
index 2edc9759e..98a3d7496 100644
--- a/toplevel/vernac.ml
+++ b/toplevel/vernac.ml
@@ -308,7 +308,7 @@ let compile verbosely f =
   let check_pending_proofs () =
     let pfs = Pfedit.get_all_proof_names () in
     if not (List.is_empty pfs) then
-      (pperrnl (str "Error: There are pending proofs"); flush_all (); exit 1) in
+      (msg_error (str "There are pending proofs"); flush_all (); exit 1) in
   match !Flags.compilation_mode with
   | BuildVo ->
       let ldir,long_f_dot_v = Flags.verbosely Library.start_library f in
-- 
cgit v1.2.3