X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fgrafite_parser%2F.depend;h=568021042684013f5bb7d87edc4ae50522d7186b;hb=bf6f5b964bd4e6c16401a4bfab3c29d6824be22a;hp=9fb3357e76d2d747ce0f220996d5fc4e1ff97868;hpb=9a0385e1283a8445df1832354d7849b5683a17a6;p=helm.git

diff --git a/helm/software/components/grafite_parser/.depend b/helm/software/components/grafite_parser/.depend
index 9fb3357e7..568021042 100644
--- a/helm/software/components/grafite_parser/.depend
+++ b/helm/software/components/grafite_parser/.depend
@@ -1,4 +1,9 @@
+dependenciesParser.cmi: 
+grafiteParser.cmi: 
+cicNotation2.cmi: 
+grafiteDisambiguate.cmi: 
 grafiteWalker.cmi: grafiteParser.cmi 
+print_grammar.cmi: 
 dependenciesParser.cmo: dependenciesParser.cmi 
 dependenciesParser.cmx: dependenciesParser.cmi 
 grafiteParser.cmo: grafiteParser.cmi