X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_transformations%2FMakefile;h=9b16740b3bda184d4bbc9b859ebc2a333a3470cb;hb=511f0c1672e0db4cf577afc9b79f12dea39469ad;hp=41517807adc2fe4e022715c39a587166a0a89b0d;hpb=7eb9140b9347edefbe859c4736187a9f5809c322;p=helm.git

diff --git a/helm/ocaml/cic_transformations/Makefile b/helm/ocaml/cic_transformations/Makefile
index 41517807a..9b16740b3 100644
--- 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 =