...

[helm.git] / helm / software / components / disambiguation / Makefile

diff --git a/helm/software/components/disambiguation/Makefile b/helm/software/components/disambiguation/Makefile
index b961efbff28f52fa7349279ad2008ee0e9a04d06..d01dd73dfe5b03e758d82902bb3bd8acc40cb92d 100644 (file)
--- a/helm/software/components/disambiguation/Makefile
+++ b/helm/software/components/disambiguation/Makefile
@@ -1,10 +1,10 @@
 PACKAGE = disambiguation
 INTERFACE_FILES =              \
        disambiguateTypes.mli   \
-       disambiguate.mli
+       disambiguate.mli \
+       multiPassDisambiguator.mli
 IMPLEMENTATION_FILES = \
-       $(patsubst %.mli, %.ml, $(INTERFACE_FILES)) \
-       $(patsubst %,%_notation.ml,$(NOTATIONS))
+       $(patsubst %.mli, %.ml, $(INTERFACE_FILES))
 
 all: