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

diff --git a/helm/gTopLevel/tacticals.ml b/helm/gTopLevel/tacticals.ml
index f3cd13b44..2c1b1883b 100644
--- a/helm/gTopLevel/tacticals.ml
+++ b/helm/gTopLevel/tacticals.ml
@@ -24,7 +24,6 @@
  *)
 
 open CicReduction
-open PrimitiveTactics
 open ProofEngineTypes
 open UriManager