diff options
Diffstat (limited to 'src/main/portfolio_util.h')
-rw-r--r-- | src/main/portfolio_util.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/main/portfolio_util.h b/src/main/portfolio_util.h index 1955a29a7..416b9f44a 100644 --- a/src/main/portfolio_util.h +++ b/src/main/portfolio_util.h @@ -155,7 +155,7 @@ void sharingManager(unsigned numThreads, /* Alert if channel full, so that we increase sharingChannelSize or decrease sharingBroadcastInterval */ - Assert(not channelsOut[t]->full()); + assert(not channelsOut[t]->full()); T data = channelsOut[t]->pop(); @@ -177,7 +177,7 @@ void sharingManager(unsigned numThreads, for(unsigned t = 0; t < numThreads; ++t){ /* Alert if channel full, so that we increase sharingChannelSize or decrease sharingBroadcastInterval */ - Assert(not channelsIn[t]->full()); + assert(not channelsIn[t]->full()); while(!queues[t].empty() && !channelsIn[t]->full()){ Trace("sharing") << "sharing: pushing on channel " << t << std::endl; |