]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/components/grafite_engine/.depend
added auto_cache in the dupable status after an
[helm.git] / helm / software / components / grafite_engine / .depend
index a545f14e33d0a91238cbcf0bd0a65c6eb18b1eae..10236823af172c045fb709552131af884aaf6872 100644 (file)
@@ -1,3 +1,4 @@
+grafiteTypes.cmi: 
 grafiteSync.cmi: grafiteTypes.cmi 
 nCicCoercDeclaration.cmi: grafiteTypes.cmi 
 grafiteEngine.cmi: grafiteTypes.cmi