]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/components/grafite_parser/.depend
new command eval added
[helm.git] / helm / software / components / grafite_parser / .depend
index f097cc8d3af5c1df6e3c79bc97c0439558f01bb7..bc5bede45670e99f2d5009f73c2bf8e20f078fd6 100644 (file)
@@ -11,3 +11,5 @@ grafiteDisambiguate.cmo: grafiteDisambiguator.cmi grafiteDisambiguate.cmi
 grafiteDisambiguate.cmx: grafiteDisambiguator.cmx grafiteDisambiguate.cmi 
 grafiteWalker.cmo: grafiteParser.cmi grafiteWalker.cmi 
 grafiteWalker.cmx: grafiteParser.cmx grafiteWalker.cmi 
+print_grammar.cmo: print_grammar.cmi 
+print_grammar.cmx: print_grammar.cmi