From 4eaeba514ca5d2cfa42d57a1a8022c6337461356 Mon Sep 17 00:00:00 2001
From: sacerdot
Date: Mon, 29 Mar 2004 13:17:25 +0000
Subject: Debug prints removed.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5600 85f007b7-540e-0410-9357-904b9bb8a0f7
---
contrib/xml/xmlcommand.ml | 3 ---
1 file changed, 3 deletions(-)
(limited to 'contrib/xml/xmlcommand.ml')
diff --git a/contrib/xml/xmlcommand.ml b/contrib/xml/xmlcommand.ml
index cddb0224d7..d8dfc4f3bc 100644
--- a/contrib/xml/xmlcommand.ml
+++ b/contrib/xml/xmlcommand.ml
@@ -868,11 +868,9 @@ let _ =
let _ =
Vernac.set_xml_start_library
(function () ->
- print_string "B";
theory_channel :=
Util.option_app (fun fn -> open_out (fn^".v"))
(theory_filename xml_library_root);
- print_string "C";
theory_output_string "\n";
theory_output_string "\n";
theory_output_string "\n\n\n")
@@ -909,7 +907,6 @@ let _ =
let _ =
Lib.set_xml_open_section
(fun id ->
- print_string "A";
let s = Names.string_of_id id in
theory_output_string (""))
;;
--
cgit v1.2.3