From 9071c21f5a7a309fe09d44e68d86ac996028167e Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Fri, 8 Sep 2006 14:05:58 +0000 Subject: [PATCH] contentPp.ml (dead code) removed --- helm/software/components/acic_content/Makefile | 1 - 1 file changed, 1 deletion(-) diff --git a/helm/software/components/acic_content/Makefile b/helm/software/components/acic_content/Makefile index 862a9eefb..72aa997d1 100644 --- a/helm/software/components/acic_content/Makefile +++ b/helm/software/components/acic_content/Makefile @@ -3,7 +3,6 @@ PREDICATES = INTERFACE_FILES = \ content.mli \ - contentPp.mli \ acic2content.mli \ content2cic.mli \ cicNotationUtil.mli \ -- 2.39.2