enable building with ocaml 3.08.x

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

diff --git a/helm/matita/Makefile.in b/helm/matita/Makefile.in
index 0614bda3d44a067a310de7dcaca1e9387c58f248..d498e37a102395521c3ec4e77a6147f2cbba8b18 100644 (file)
--- a/helm/matita/Makefile.in
+++ b/helm/matita/Makefile.in
@@ -72,7 +72,7 @@ MAKECMOS = \
        buildTimeConf.cmo       \
        matitamakeLib.cmo       \
        $(NULL)
-PROGRAMS_BYTE = matita matitac cicbrowser matitadep matitaclean matitamake dump_moo
+PROGRAMS_BYTE = matitac matitadep matitaclean matitamake
 PROGRAMS = $(PROGRAMS_BYTE) matitatop
 PROGRAMS_OPT = $(patsubst %,%.opt,$(PROGRAMS_BYTE))