From 46160bebe6a21851274df61c049026e44dd55df4 Mon Sep 17 00:00:00 2001
From: filliatr
Date: Thu, 16 Jan 2003 13:50:32 +0000
Subject: -emacs: plus de prompt entre les lignes

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

diff --git a/toplevel/toplevel.ml b/toplevel/toplevel.ml
index adc2328ab8..399134d115 100644
--- a/toplevel/toplevel.ml
+++ b/toplevel/toplevel.ml
@@ -55,7 +55,7 @@ let prompt_char ic ibuf count =
     | ll::_ -> ibuf.len == ll
     | [] -> ibuf.len == 0
   in
-  if bol then msgerr (str (ibuf.prompt()));
+  if bol && not !print_emacs then msgerr (str (ibuf.prompt()));
   try
     let c = input_char ic in
     if c == '\n' then ibuf.bols <- (ibuf.len+1) :: ibuf.bols;
@@ -276,6 +276,7 @@ let process_error = function
      End_of_input: Ctrl-D was typed in, we will quit *)
 let do_vernac () =
   msgerrnl (mt ());
+  if !print_emacs then msgerr (str (top_buffer.prompt()));
   resynch_buffer top_buffer;
   begin 
     try 
-- 
cgit v1.2.3