]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/metadata/.depend
Added universes handling. The PRE_UNIVERSES tag may help ;)
[helm.git] / helm / ocaml / metadata / .depend
index 07fbe69d7adde1bf582ca0c3c26ee6b3d154ac1c..15500d2c4c06a43c4726de0b6d4caf5dab89e9be 100644 (file)
@@ -3,8 +3,8 @@ metadataPp.cmi: metadataTypes.cmo
 metadataConstraints.cmi: metadataTypes.cmo 
 metadataExtractor.cmo: metadataTypes.cmo metadataExtractor.cmi 
 metadataExtractor.cmx: metadataTypes.cmx metadataExtractor.cmi 
-metadataPp.cmo: metadataPp.cmi 
-metadataPp.cmx: metadataPp.cmi 
+metadataPp.cmo: metadataTypes.cmo metadataPp.cmi 
+metadataPp.cmx: metadataTypes.cmx metadataPp.cmi 
 metadataDb.cmo: metadataExtractor.cmi metadataPp.cmi metadataTypes.cmo \
     metadataDb.cmi 
 metadataDb.cmx: metadataExtractor.cmx metadataPp.cmx metadataTypes.cmx \