]> matita.cs.unibo.it Git - helm.git/blobdiff - components/acic_procedural/Makefile
Optimizer: refactored according to its formal description
[helm.git] / components / acic_procedural / Makefile
index 379f5518bdccedb66f1b616e374915e5e9590557..780462786136d3b9a909e020cba1097882737829 100644 (file)
@@ -2,9 +2,9 @@ PACKAGE = acic_procedural
 PREDICATES =
 
 INTERFACE_FILES =               \
+       proceduralClassify.mli   \
        proceduralPreprocess.mli \
        proceduralTypes.mli      \
-       proceduralClassify.mli   \
        proceduralMode.mli       \
        proceduralConversion.mli \
        acic2Procedural.mli      \