[m-rev.] for post-commit review: remove a redundant #include.
Quan Phan
quan.phan at cs.kuleuven.be
Tue Oct 16 02:57:13 AEST 2007
Estimated hours taken: 0.
Branch: main
A tiny change to remove a redundant #define (which I added by mistake).
runtime/mercury_region.h:
Remove #define MR_RBMM_DEBUG.
Regards,
Quan.
Index: runtime/mercury_region.h
===================================================================
RCS file:
/home/mercury/mercury1/repository/mercury/runtime/mercury_region.h,v
retrieving revision 1.3
diff -u -r1.3 mercury_region.h
--- runtime/mercury_region.h 15 Oct 2007 08:14:56 -0000 1.3
+++ runtime/mercury_region.h 15 Oct 2007 16:52:47 -0000
@@ -18,7 +18,7 @@
#include "mercury_types.h"
#ifdef MR_USE_REGIONS
-#define MR_RBMM_DEBUG
+
/*
** See the documentation of MR_RBMM_DEBUG and MR_RBMM_PROFILING in
** mercury_conf_param.h.
--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to: mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions: mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------
More information about the reviews
mailing list