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

diff --git a/helm/software/components/grafite_parser/.depend.opt b/helm/software/components/grafite_parser/.depend.opt
index 9fb3357e7..568021042 100644
--- a/helm/software/components/grafite_parser/.depend.opt
+++ b/helm/software/components/grafite_parser/.depend.opt
@@ -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