From 72e1eb18ebc0cee2e40a41420003829d9938b463 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Mon, 12 Sep 2005 16:59:51 +0000 Subject: [PATCH] cic_textual_parser2 ==> cic_disambiguation --- helm/ocaml/Makefile.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/ocaml/Makefile.in b/helm/ocaml/Makefile.in index 2f3009462..0fd0bd934 100644 --- a/helm/ocaml/Makefile.in +++ b/helm/ocaml/Makefile.in @@ -17,7 +17,7 @@ MODULES = \ tactics \ cic_notation \ cic_transformations \ - cic_textual_parser2 \ + cic_disambiguation \ paramodulation \ $(NULL) -- 2.39.2