snapshot, notably history no longer remember annotations: they are

[helm.git] / helm / matita / Makefile.in

diff --git a/helm/matita/Makefile.in b/helm/matita/Makefile.in
index faab87d296182a6d5106ba48d5f95501c8a1b549..eba88af12646987f1c30c8e7978d9678bc60c3ef 100644 (file)
--- a/helm/matita/Makefile.in
+++ b/helm/matita/Makefile.in
@@ -15,6 +15,7 @@ CMOS =                                \
        buildTimeConf.cmo       \
        matitaGeneratedGui.cmo  \
        matitaTypes.cmo         \
+       matitaCicMisc.cmo       \
        matitaGtkMisc.cmo       \
        matitaConsole.cmo       \
        matitaGui.cmo           \