whelp and cic disambiguation removed

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

diff --git a/matita/components/ng_disambiguation/Makefile b/matita/components/ng_disambiguation/Makefile
index 7c747df4825f9f5867dc43396ad8c7409d55cf4f..ad6a6de80c54fbf5e57a3627622fb37682168e25 100644 (file)
--- a/matita/components/ng_disambiguation/Makefile
+++ b/matita/components/ng_disambiguation/Makefile
@@ -4,6 +4,7 @@ PREDICATES =
 INTERFACE_FILES = nCicDisambiguate.mli 
 
 IMPLEMENTATION_FILES = \
+       disambiguateChoices.ml \
   $(INTERFACE_FILES:%.mli=%.ml) nnumber_notation.ml
 EXTRA_OBJECTS_TO_INSTALL = 
 EXTRA_OBJECTS_TO_CLEAN =