From 870075f34dd9fa5792bfbf413afd3b96f17e76a0 Mon Sep 17 00:00:00 2001
From: Stephane Glondu <steph@glondu.net>
Date: Fri, 8 Aug 2008 13:18:42 +0200
Subject: Imported Upstream version 8.2~beta4+dfsg

---
 scripts/coqmktop.ml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'scripts/coqmktop.ml')

diff --git a/scripts/coqmktop.ml b/scripts/coqmktop.ml
index 850cc961..e87a195f 100644
--- a/scripts/coqmktop.ml
+++ b/scripts/coqmktop.ml
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(* $Id: coqmktop.ml 10947 2008-05-19 19:10:40Z herbelin $ *)
+(* $Id: coqmktop.ml 11260 2008-07-24 20:53:12Z letouzey $ *)
 
 (* coqmktop is a script to link Coq, analogous to ocamlmktop.
    The command line contains options specific to coqmktop, options for the
@@ -318,7 +318,6 @@ let main () =
 	   (string_of_int (String.length command)) ^ " characters)");
 	flush Pervasives.stdout 
       end;
-    print_string command;
     let retcode = Sys.command command in
     clean main_file;
     (* command gives the exit code in HSB, and signal in LSB !!! *)
-- 
cgit v1.2.3