]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/grafite_parser/.depend
Big commit to let Ferruccio try the merge_coercion patch.
[helm.git] / helm / ocaml / grafite_parser / .depend
index 6d2222906c2e1f959908e6db142087a766b0e7fc..0694143fcfe8f7464788b979d0e4fb30af273699 100644 (file)
@@ -6,5 +6,5 @@ matitaDisambiguator.cmo: matitaDisambiguator.cmi
 matitaDisambiguator.cmx: matitaDisambiguator.cmi 
 grafiteDisambiguate.cmo: matitaDisambiguator.cmi grafiteDisambiguate.cmi 
 grafiteDisambiguate.cmx: matitaDisambiguator.cmx grafiteDisambiguate.cmi 
-grafiteParserMisc.cmo: grafiteParserMisc.cmi 
-grafiteParserMisc.cmx: grafiteParserMisc.cmi 
+grafiteParserMisc.cmo: grafiteParser.cmi grafiteParserMisc.cmi 
+grafiteParserMisc.cmx: grafiteParser.cmx grafiteParserMisc.cmi