]> matita.cs.unibo.it Git - helm.git/blobdiff - components/acic_procedural/Makefile
Cic2acic : added some debugging information
[helm.git] / components / acic_procedural / Makefile
index 780462786136d3b9a909e020cba1097882737829..78d3e3b09e86609a81fdd169b0b93b279ffba3b9 100644 (file)
@@ -2,6 +2,7 @@ PACKAGE = acic_procedural
 PREDICATES =
 
 INTERFACE_FILES =               \
+       proceduralHelpers.mli    \
        proceduralClassify.mli   \
        proceduralPreprocess.mli \
        proceduralTypes.mli      \