From 0afac4a7183b60920f562ebe26ce49d29114645c Mon Sep 17 00:00:00 2001 From: Brian Demsky Date: Thu, 1 Nov 2012 15:57:49 -0700 Subject: [PATCH] bug --- clockvector.cc | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/clockvector.cc b/clockvector.cc index 740b5cf..3363f7f 100644 --- a/clockvector.cc +++ b/clockvector.cc @@ -42,8 +42,10 @@ void ClockVector::merge(const ClockVector *cv) { ASSERT(cv != NULL); - if (cv->num_threads > num_threads) + if (cv->num_threads > num_threads) { clock = (modelclock_t *)snapshot_realloc(clock, cv->num_threads * sizeof(modelclock_t)); + num_threads = cv->num_threads; + } /* Element-wise maximum */ for (int i = 0; i < cv->num_threads; i++) -- 2.34.1