From: Claudio Sacerdoti Coen Date: Thu, 27 Nov 2008 21:23:03 +0000 (+0000) Subject: ... X-Git-Tag: make_still_working~4489 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=9a0385e1283a8445df1832354d7849b5683a17a6;p=helm.git ... --- diff --git a/helm/software/components/grafite_parser/.depend b/helm/software/components/grafite_parser/.depend index 168732022..9fb3357e7 100644 --- a/helm/software/components/grafite_parser/.depend +++ b/helm/software/components/grafite_parser/.depend @@ -5,10 +5,8 @@ grafiteParser.cmo: grafiteParser.cmi grafiteParser.cmx: grafiteParser.cmi cicNotation2.cmo: grafiteParser.cmi cicNotation2.cmi cicNotation2.cmx: grafiteParser.cmx cicNotation2.cmi -multiPassDisambiguator.cmo: multiPassDisambiguator.cmi -multiPassDisambiguator.cmx: multiPassDisambiguator.cmi -grafiteDisambiguate.cmo: multiPassDisambiguator.cmi grafiteDisambiguate.cmi -grafiteDisambiguate.cmx: multiPassDisambiguator.cmx grafiteDisambiguate.cmi +grafiteDisambiguate.cmo: grafiteDisambiguate.cmi +grafiteDisambiguate.cmx: grafiteDisambiguate.cmi grafiteWalker.cmo: grafiteParser.cmi grafiteWalker.cmi grafiteWalker.cmx: grafiteParser.cmx grafiteWalker.cmi print_grammar.cmo: print_grammar.cmi diff --git a/helm/software/components/grafite_parser/.depend.opt b/helm/software/components/grafite_parser/.depend.opt index 168732022..9fb3357e7 100644 --- a/helm/software/components/grafite_parser/.depend.opt +++ b/helm/software/components/grafite_parser/.depend.opt @@ -5,10 +5,8 @@ grafiteParser.cmo: grafiteParser.cmi grafiteParser.cmx: grafiteParser.cmi cicNotation2.cmo: grafiteParser.cmi cicNotation2.cmi cicNotation2.cmx: grafiteParser.cmx cicNotation2.cmi -multiPassDisambiguator.cmo: multiPassDisambiguator.cmi -multiPassDisambiguator.cmx: multiPassDisambiguator.cmi -grafiteDisambiguate.cmo: multiPassDisambiguator.cmi grafiteDisambiguate.cmi -grafiteDisambiguate.cmx: multiPassDisambiguator.cmx grafiteDisambiguate.cmi +grafiteDisambiguate.cmo: grafiteDisambiguate.cmi +grafiteDisambiguate.cmx: grafiteDisambiguate.cmi grafiteWalker.cmo: grafiteParser.cmi grafiteWalker.cmi grafiteWalker.cmx: grafiteParser.cmx grafiteWalker.cmi print_grammar.cmo: print_grammar.cmi diff --git a/helm/software/components/grafite_parser/Makefile b/helm/software/components/grafite_parser/Makefile index ace33c397..ef263f3d8 100644 --- a/helm/software/components/grafite_parser/Makefile +++ b/helm/software/components/grafite_parser/Makefile @@ -5,7 +5,6 @@ INTERFACE_FILES = \ dependenciesParser.mli \ grafiteParser.mli \ cicNotation2.mli \ - multiPassDisambiguator.mli \ grafiteDisambiguate.mli \ grafiteWalker.mli \ print_grammar.mli \