X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FgTopLevel%2F.depend;h=d1cda56b31a1d331e8f58e87b65d4a722e34bed2;hb=ac7687ce66526f905874ed99a845223c853c558a;hp=82b678e1e78f80a3ed0490eb9f21ca6fcd34a10f;hpb=2cd7e7b8d1338a4393846e2aa7eb20343661945c;p=helm.git

diff --git a/helm/gTopLevel/.depend b/helm/gTopLevel/.depend
index 82b678e1e..d1cda56b3 100644
--- a/helm/gTopLevel/.depend
+++ b/helm/gTopLevel/.depend
@@ -7,10 +7,8 @@ proofEngine.cmo: proofEngine.cmi
 proofEngine.cmx: proofEngine.cmi 
 logicalOperations.cmo: proofEngine.cmi logicalOperations.cmi 
 logicalOperations.cmx: proofEngine.cmx logicalOperations.cmi 
-oldDisambiguate.cmo: oldDisambiguate.cmi 
-oldDisambiguate.cmx: oldDisambiguate.cmi 
-disambiguatingParser.cmo: oldDisambiguate.cmi disambiguatingParser.cmi 
-disambiguatingParser.cmx: oldDisambiguate.cmx disambiguatingParser.cmi 
+disambiguatingParser.cmo: disambiguatingParser.cmi 
+disambiguatingParser.cmx: disambiguatingParser.cmi 
 termEditor.cmo: disambiguatingParser.cmi termEditor.cmi 
 termEditor.cmx: disambiguatingParser.cmx termEditor.cmi 
 texTermEditor.cmo: disambiguatingParser.cmi texTermEditor.cmi