[m-dev.] Deep profiling assertion

[Peter Wang]

Hi,

These look inverted but I don't know the code:

MR_deep_assert(csd, pl, ps, CPIndex >= ps->MR_ps_num_coverage_points);

Peter
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at csse.unimelb.edu.au
Administrative Queries: owner-mercury-developers at csse.unimelb.edu.au
Subscriptions:          mercury-developers-request at csse.unimelb.edu.au
--------------------------------------------------------------------------