From: Claudio Sacerdoti Coen Date: Thu, 27 Nov 2008 21:29:23 +0000 (+0000) Subject: ... X-Git-Tag: make_still_working~4488 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=4c53e7f5f5e542c49cc8d17e75e28a99033f5c9d;p=helm.git ... --- diff --git a/helm/software/components/ng_disambiguation/.depend.opt b/helm/software/components/ng_disambiguation/.depend.opt index 833273319..6b4ef95c1 100644 --- a/helm/software/components/ng_disambiguation/.depend.opt +++ b/helm/software/components/ng_disambiguation/.depend.opt @@ -1,4 +1,2 @@ -nDisambiguate.cmo: nDisambiguate.cmi -nDisambiguate.cmx: nDisambiguate.cmi -nGrafiteDisambiguator.cmo: nDisambiguate.cmi nGrafiteDisambiguator.cmi -nGrafiteDisambiguator.cmx: nDisambiguate.cmx nGrafiteDisambiguator.cmi +nCicDisambiguate.cmo: nCicDisambiguate.cmi +nCicDisambiguate.cmx: nCicDisambiguate.cmi