- added pack/unpack over AST of terms

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

diff --git a/helm/ocaml/cic_transformations/Makefile b/helm/ocaml/cic_transformations/Makefile
index ca3fe73247220850d06f4223a5e91a93f5185b06..ac8714e55cd2a658eedad44b35aa65e8812b5bd0 100644 (file)
--- a/helm/ocaml/cic_transformations/Makefile
+++ b/helm/ocaml/cic_transformations/Makefile
@@ -7,6 +7,7 @@ PREDICATES =
 
 # modules which have both a .ml and a .mli
 INTERFACE_FILES = \
+       cicAst.ml \
        contentTable.mli \
        cic2Xml.mli \
        mpresentation.mli box.mli \
@@ -17,7 +18,7 @@ INTERFACE_FILES = \
        applyStylesheets.mli applyTransformation.mli \
        tacticAstPp.mli boxPp.mli tacticAst2Box.mli
 IMPLEMENTATION_FILES = \
-       cicAst.ml tacticAst.ml \
+       tacticAst.ml \
        $(INTERFACE_FILES:%.mli=%.ml)
 EXTRA_OBJECTS_TO_INSTALL =
 EXTRA_OBJECTS_TO_CLEAN =