embedded commands ast into tacticals ast

[helm.git] / helm / ocaml / cic_transformations / Makefile

diff --git a/helm/ocaml/cic_transformations/Makefile b/helm/ocaml/cic_transformations/Makefile
index 41517807adc2fe4e022715c39a587166a0a89b0d..9b16740b3bda184d4bbc9b859ebc2a333a3470cb 100644 (file)
--- a/helm/ocaml/cic_transformations/Makefile
+++ b/helm/ocaml/cic_transformations/Makefile
@@ -17,8 +17,7 @@ INTERFACE_FILES = \
 IMPLEMENTATION_FILES = \
        cicAst.ml \
        tacticAst.ml \
-       $(INTERFACE_FILES:%.mli=%.ml) \
-       commandAst.ml
+       $(INTERFACE_FILES:%.mli=%.ml)
 EXTRA_OBJECTS_TO_INSTALL =
 EXTRA_OBJECTS_TO_CLEAN =