added missing dependency

[helm.git] / helm / matita / configure.ac

diff --git a/helm/matita/configure.ac b/helm/matita/configure.ac
index d20bf2192224b1bd79463cfb5ce12c69c9bdf8fa..3ed0cef34dd43810e5732ff1f220138d3080de94 100644 (file)
--- 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"