From fc605d89d2ba080c73ded2d2276eb5c37abd7b35 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. --- components/METAS/meta.helm-acic_content.src | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/components/METAS/meta.helm-acic_content.src b/components/METAS/meta.helm-acic_content.src index 2ffa1551b..8e10b789e 100644 --- a/components/METAS/meta.helm-acic_content.src +++ b/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