added reference to MetadataQuery (now it builds properly)

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

diff --git a/helm/ocaml/tactics/.depend b/helm/ocaml/tactics/.depend
index 972c7071cba7380a31725bf77e4b6026de428219..6f9e704767490c24e973d394054128c9dcf381b2 100644 (file)
--- a/helm/ocaml/tactics/.depend
+++ b/helm/ocaml/tactics/.depend
@@ -42,6 +42,8 @@ primitiveTactics.cmo: proofEngineHelpers.cmi proofEngineReduction.cmi \
 primitiveTactics.cmx: proofEngineHelpers.cmx proofEngineReduction.cmx \
     proofEngineTypes.cmx reductionTactics.cmx tacticals.cmx \
     primitiveTactics.cmi 
+metadataQuery.cmo: metadataQuery.cmi 
+metadataQuery.cmx: metadataQuery.cmi 
 tacticChaser.cmo: filter_auto.cmi match_concl.cmi newConstraints.cmi \
     primitiveTactics.cmi proofEngineTypes.cmi tacticChaser.cmi 
 tacticChaser.cmx: filter_auto.cmx match_concl.cmx newConstraints.cmx \