]> matita.cs.unibo.it Git - helm.git/blobdiff - components/acic_procedural/Makefile
Procedural: refactoring
[helm.git] / components / acic_procedural / Makefile
index 78d3e3b09e86609a81fdd169b0b93b279ffba3b9..df39ba896462e8915c3c1e4467ca94852674d4c3 100644 (file)
@@ -4,7 +4,7 @@ PREDICATES =
 INTERFACE_FILES =               \
        proceduralHelpers.mli    \
        proceduralClassify.mli   \
-       proceduralPreprocess.mli \
+       proceduralOptimizer.mli  \
        proceduralTypes.mli      \
        proceduralMode.mli       \
        proceduralConversion.mli \