From ef5ed8ca675b0cbc6604ffbecd23cc3b28982863 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Thu, 22 Jan 2004 16:38:54 +0000 Subject: [PATCH] build also cic_textual_parser2 --- helm/ocaml/Makefile.in | 1 + 1 file changed, 1 insertion(+) diff --git a/helm/ocaml/Makefile.in b/helm/ocaml/Makefile.in index 73c3a91c0..02d81d265 100644 --- 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 \ -- 2.39.2