From abdee9194d49a401d15054ae93c7986e4199108e Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Wed, 7 Feb 2007 10:47:05 +0000
Subject: [PATCH] New dependency over acic_procedural.

---
 configure.ac | 1 +
 1 file changed, 1 insertion(+)

diff --git a/configure.ac b/configure.ac
index a1f233b6b..d69683b4c 100644
--- a/configure.ac
+++ b/configure.ac
@@ -78,6 +78,7 @@ helm-grafite \
 helm-grafite_engine \
 helm-tptp_grafite \
 helm-grafite_parser \
+helm-acic_procedural \
 helm-hgdome \
 helm-tactics \
 "
-- 
2.39.2