X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fmatita%2FmatitaScript.ml;h=99b7018e42ac9d50ffa921513e6b2c97a1847496;hb=4b84dd78aa6b596a0d3ee38745890ff65efa8b10;hp=f9855348a0d0ff9b6a4cc8224fd303aa527936e3;hpb=292798b0303eb7f580d73b68fce708289645d97d;p=helm.git

diff --git a/helm/matita/matitaScript.ml b/helm/matita/matitaScript.ml
index f9855348a..99b7018e4 100644
--- a/helm/matita/matitaScript.ml
+++ b/helm/matita/matitaScript.ml
@@ -24,9 +24,11 @@
  *)
 
 open Printf
-
 open MatitaTypes
 
+let debug = true
+let debug_print = if  debug then prerr_endline else ignore
+
   (** raised when one of the script margins (top or bottom) is reached *)
 exception Margin