From 1b5b2faaee8b16e376ac10d63ef8a03ba14698b1 Mon Sep 17 00:00:00 2001
From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Thu, 24 Nov 2005 10:21:33 +0000
Subject: [PATCH] added missing dependency

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

diff --git a/helm/matita/configure.ac b/helm/matita/configure.ac
index d20bf2192..3ed0cef34 100644
--- a/helm/matita/configure.ac
+++ b/helm/matita/configure.ac
@@ -41,6 +41,7 @@ helm-hmysql \
 helm-cic_notation \
 helm-tactics \
 helm-cic_disambiguation \
+helm-cic_transformations \
 "
 FINDLIB_CLEANREQUIRES="$FINDLIB_COMREQUIRES"
 FINDLIB_DEPREQUIRES="$FINDLIB_COMREQUIRES"
-- 
2.39.2