split into two major parts:

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

diff --git a/helm/ocaml/Makefile.in b/helm/ocaml/Makefile.in
index 73c3a91c018c4283844b409fb2351e342f558ef7..ec30fb868343eff2ed0920b63ba7a7a7d6628656 100644 (file)
--- a/helm/ocaml/Makefile.in
+++ b/helm/ocaml/Makefile.in
@@ -18,7 +18,8 @@ MODULES = \
        cic_omdoc \
        tactics \
        cic_transformations \
-       logger
+       logger \
+       cic_textual_parser2
 
 OCAMLFIND_DEST_DIR = @OCAMLFIND_DEST_DIR@
 OCAMLFIND_META_DIR = @OCAMLFIND_META_DIR@