]> matita.cs.unibo.it Git - helm.git/blobdiff - components/acic_procedural/Makefile
Procedural : cic object preprocessor added
[helm.git] / components / acic_procedural / Makefile
index 8b3ea3695eabbb88f9b0d05086dad0e004510477..379f5518bdccedb66f1b616e374915e5e9590557 100644 (file)
@@ -2,6 +2,7 @@ PACKAGE = acic_procedural
 PREDICATES =
 
 INTERFACE_FILES =               \
+       proceduralPreprocess.mli \
        proceduralTypes.mli      \
        proceduralClassify.mli   \
        proceduralMode.mli       \