build also cic_textual_parser2

diff --git a/helm/ocaml/Makefile.in b/helm/ocaml/Makefile.in
index 73c3a91c018c4283844b409fb2351e342f558ef7..02d81d265f58a8f762c468e6554db749f666c290 100644 (file)
--- a/helm/ocaml/Makefile.in
+++ b/helm/ocaml/Makefile.in
@@ -10,6 +10,7 @@ MODULES = \
        cic_cache \
        cic_proof_checking \
        cic_textual_parser \
+       cic_textual_parser2 \
        tex_cic_textual_parser \
        cic_unification \
        mathql \