From a7eee845d4823b8672222f67f4b2d4b30a5a5c61 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Fri, 22 Oct 2004 12:57:07 +0000 Subject: [PATCH] no longer builds by default tex_ and cic_textual_parser --- helm/ocaml/Makefile.in | 2 -- 1 file changed, 2 deletions(-) diff --git a/helm/ocaml/Makefile.in b/helm/ocaml/Makefile.in index 2e678c9d8..be300223d 100644 --- a/helm/ocaml/Makefile.in +++ b/helm/ocaml/Makefile.in @@ -12,8 +12,6 @@ MODULES = \ cic \ cic_annotations \ cic_proof_checking \ - cic_textual_parser \ - tex_cic_textual_parser \ cic_unification \ mathql \ mathql_generator \ -- 2.39.2