Remove promises

[c11tester.git] / futex.cc

diff --git a/futex.cc b/futex.cc
index 64ec6b4ac9d575cac5a921a448a76f3a96bfa8d7..fa32e9a28d4a4bbab28dee48813dc15ea42d58f1 100644 (file)
--- 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();
        }