X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FgTopLevel%2Ftacticals.ml;h=2c1b1883b930c5165aed955c41e864af88465f99;hb=3066e4dcb7270a5eb20020a91d45da9eb87e2f2e;hp=b8490f0592a91fa522cd3d44586d8e7e8120e35b;hpb=7074f0403d1bec7f4d60715e50a0fe0ef0993567;p=helm.git

diff --git a/helm/gTopLevel/tacticals.ml b/helm/gTopLevel/tacticals.ml
index b8490f059..2c1b1883b 100644
--- a/helm/gTopLevel/tacticals.ml
+++ b/helm/gTopLevel/tacticals.ml
@@ -24,14 +24,13 @@
  *)
 
 open CicReduction
-open PrimitiveTactics
 open ProofEngineTypes
 open UriManager
 
 (** DEBUGGING *)
 
   (** perform debugging output? *)
-let debug = true
+let debug = false
 
   (** debugging print *)
 let warn s =