From ed1464b97ccf445d9824b34c9b1adec5c321eee0 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Tue, 21 Feb 2006 18:23:18 +0000 Subject: [PATCH] Coercions are now hidden by default in termAcicContent.ml. --- helm/software/components/METAS/meta.helm-acic_content.src | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/software/components/METAS/meta.helm-acic_content.src b/helm/software/components/METAS/meta.helm-acic_content.src index 2ffa1551b..8e10b789e 100644 --- a/helm/software/components/METAS/meta.helm-acic_content.src +++ b/helm/software/components/METAS/meta.helm-acic_content.src @@ -1,4 +1,4 @@ -requires="helm-cic_acic" +requires="helm-library" version="0.0.1" archive(byte)="acic_content.cma" archive(native)="acic_content.cmxa" -- 2.39.2