whelp and cic disambiguation removed

[helm.git] / matita / components / ng_disambiguation / .depend

diff --git a/matita/components/ng_disambiguation/.depend b/matita/components/ng_disambiguation/.depend
index f2694c1997a6dff5b20c4fac01297fa1fb025522..3630ffef3a6aaa34c88b6282fb4f61033a94dd07 100644 (file)
--- a/matita/components/ng_disambiguation/.depend
+++ b/matita/components/ng_disambiguation/.depend
@@ -1,4 +1,6 @@
 nCicDisambiguate.cmi: 
+disambiguateChoices.cmo: disambiguateChoices.cmi 
+disambiguateChoices.cmx: disambiguateChoices.cmi 
 nCicDisambiguate.cmo: nCicDisambiguate.cmi 
 nCicDisambiguate.cmx: nCicDisambiguate.cmi 
 nnumber_notation.cmo: