]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/components/Makefile
Debugging code removed
[helm.git] / helm / software / components / Makefile
index afe6c3f82e0e58be27080a0da37716889a31a8fc..9565ddb299a8ee5a03675ca0c75fc5cefd3eb708 100644 (file)
@@ -30,6 +30,7 @@ MODULES =                     \
        whelp                   \
        tactics                 \
        acic_procedural         \
+       disambiguation  \
        cic_disambiguation      \
        lexicon                 \
        grafite_engine          \