X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=matita%2Fcomponents%2Fng_disambiguation%2FMakefile;h=ad6a6de80c54fbf5e57a3627622fb37682168e25;hb=e7f64fe2cc67f3514131c8831f87311ff600d005;hp=7c747df4825f9f5867dc43396ad8c7409d55cf4f;hpb=2c01ff6094173915e7023076ea48b5804dca7778;p=helm.git

diff --git a/matita/components/ng_disambiguation/Makefile b/matita/components/ng_disambiguation/Makefile
index 7c747df48..ad6a6de80 100644
--- 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 =