From 58fa214788e29e3eef8a66f9d2c0b7cdaed81aa9 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 --- components/acic_content/Makefile | 1 - 1 file changed, 1 deletion(-) diff --git a/components/acic_content/Makefile b/components/acic_content/Makefile index 862a9eefb..72aa997d1 100644 --- a/components/acic_content/Makefile +++ b/components/acic_content/Makefile @@ -3,7 +3,6 @@ PREDICATES = INTERFACE_FILES = \ content.mli \ - contentPp.mli \ acic2content.mli \ content2cic.mli \ cicNotationUtil.mli \ -- 2.39.2