All exported names are now qualified. This avoids the need for "open" statements.

[helm.git] / components / tactics / .depend

diff --git a/components/tactics/.depend b/components/tactics/.depend
index bb3e16d8e8bc73402a1f0b0263114ed06b97aea3..964011bfd1609a0355170ca53b1024c22970af70 100644 (file)
--- a/components/tactics/.depend
+++ b/components/tactics/.depend
@@ -31,6 +31,7 @@ setoids.cmi: proofEngineTypes.cmi
 fourierR.cmi: proofEngineTypes.cmi 
 fwdSimplTactic.cmi: proofEngineTypes.cmi 
 statefulProofEngine.cmi: proofEngineTypes.cmi 
+tactics.cmi: universe.cmi tacticals.cmi proofEngineTypes.cmi 
 declarative.cmi: universe.cmi proofEngineTypes.cmi 
 proofEngineTypes.cmo: proofEngineTypes.cmi 
 proofEngineTypes.cmx: proofEngineTypes.cmi