X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=futex.cc;h=fa32e9a28d4a4bbab28dee48813dc15ea42d58f1;hb=51d58655a9a674d5e4b04f2dfcb5204a4342ef6d;hp=64ec6b4ac9d575cac5a921a448a76f3a96bfa8d7;hpb=354506520492a156436a8830e46920ccb5fb9720;p=c11tester.git

diff --git a/futex.cc b/futex.cc
index 64ec6b4a..fa32e9a2 100644
--- a/futex.cc
+++ b/futex.cc
@@ -48,8 +48,8 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION
 		cdsc::condition_variable *v = new cdsc::condition_variable();
 		cdsc::mutex *m = new cdsc::mutex();
 
-		execution->cond_map.put( (pthread_cond_t *) __addr, v);
-		execution->mutex_map.put( (pthread_mutex_t *) __addr, m);
+		execution->getCondMap()->put( (pthread_cond_t *) __addr, v);
+		execution->getMutexMap()->put( (pthread_mutex_t *) __addr, m);
 
 		v->wait(*m);
 		return true;
@@ -60,7 +60,7 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION
 	{
 		// INT_MAX wakes all the waiters at the address __addr
 		ModelExecution *execution = model->get_execution();
-		cdsc::condition_variable *v = execution->cond_map.get( (pthread_cond_t *) __addr);
+		cdsc::condition_variable *v = execution->getCondMap()->get( (pthread_cond_t *) __addr);
 		v->notify_all();
 	}