Index: trunk/MagicSoft/Mars/Makefile
===================================================================
--- trunk/MagicSoft/Mars/Makefile	(revision 6855)
+++ trunk/MagicSoft/Mars/Makefile	(revision 6932)
@@ -66,5 +66,4 @@
           mgui \
           mranforest \
-          mhistmc \
           mjobs \
           mtools \