From 2eb1644f907fc2319957fad1511ad98dccc89209 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Tue, 14 Jun 2005 11:46:43 +0000 Subject: [PATCH] removed ocaml-pxp --- helm/ocaml/cic_disambiguation/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/ocaml/cic_disambiguation/Makefile b/helm/ocaml/cic_disambiguation/Makefile index aa87de4ff..bacedc25e 100644 --- a/helm/ocaml/cic_disambiguation/Makefile +++ b/helm/ocaml/cic_disambiguation/Makefile @@ -2,7 +2,7 @@ PACKAGE = cic_textual_parser2 REQUIRES = \ helm-tactics helm-logger helm-cic_unification helm-cic_transformations \ - helm-pxp helm-utf8_macros \ + helm-utf8_macros \ ulex NOTATIONS = logic arit tex # NOTATIONS = logic arit -- 2.39.2