parameter sintax added to axiom statement

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

diff --git a/helm/software/components/grafite_parser/Makefile b/helm/software/components/grafite_parser/Makefile
index eb2f1b1eba2adc4196591163299a2ed86203a71e..892325d52a33bcfda608e368bf3814242abf9edd 100644 (file)
--- a/helm/software/components/grafite_parser/Makefile
+++ b/helm/software/components/grafite_parser/Makefile
@@ -5,13 +5,13 @@ INTERFACE_FILES =                     \
        dependenciesParser.mli          \
        grafiteParser.mli               \
        cicNotation2.mli                \
-       grafiteDisambiguator.mli        \
+       nEstatus.mli                    \
        grafiteDisambiguate.mli         \
-       grafiteWalker.mli               \
+       print_grammar.mli               \
        $(NULL)
 IMPLEMENTATION_FILES = $(INTERFACE_FILES:%.mli=%.ml)
 
-all: test_parser print_grammar test_dep
+all: test_parser test_dep
 clean: clean_tests
 
 # <cross> cross compatibility among ocaml 3.09 and ocaml 3.08, to be removed as