From 345c8b73628e45ab367e605b376b2040ad181bd3 Mon Sep 17 00:00:00 2001
From: monate
Date: Thu, 22 May 2003 17:47:57 +0000
Subject: coqide: blaster V1

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

(limited to 'ide/undo.ml')

diff --git a/ide/undo.ml b/ide/undo.ml
index 10d5e0ab50..5099580667 100644
--- a/ide/undo.ml
+++ b/ide/undo.ml
@@ -1,3 +1,4 @@
+
 (***********************************************************************)
 (*  v      *   The Coq Proof Assistant  /  The Coq Development Team    *)
 (* <O___,, *        INRIA-Rocquencourt  &  LRI-CNRS-Orsay              *)
@@ -27,7 +28,7 @@ object(self)
   val nredo = (Stack.create () : action Stack.t)
 
   method private dump_debug =
-    if !debug then begin
+    if false (* !debug *) then begin
       prerr_endline "==========Stack top=============";
       Stack.iter 
 	(fun e -> match e with
-- 
cgit v1.2.3