X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2FMakefile;h=c39fcee85fc2f96d02a1ff78d75e589efde6f737;hb=4885f49660dc31fc6ecbed36c383b111381a8684;hp=9043c9ff83cd00e5e33765cbbf26beb4a5fc8de3;hpb=65ccedcdf3531299e572032cc703960e64c7f344;p=helm.git

diff --git a/helm/software/matita/Makefile b/helm/software/matita/Makefile
index 9043c9ff8..c39fcee85 100644
--- a/helm/software/matita/Makefile
+++ b/helm/software/matita/Makefile
@@ -35,6 +35,7 @@ CMOS =				\
 	matitaExcPp.cmo 	\
 	matitaEngine.cmo	\
 	matitacLib.cmo		\
+	matitaprover.cmo        \
 	applyTransformation.cmo	\
 	matitaGtkMisc.cmo	\
 	matitaScript.cmo	\