Experimental TLS support.

[c11tester.git] / pthread.cc

diff --git a/pthread.cc b/pthread.cc
index d23c4900f6382b62ed39c70c434e852c1e4f22ab..120d365cf9d2e3354874c36453345a8f9d073753 100644 (file)
--- a/pthread.cc
+++ b/pthread.cc
@@ -108,7 +108,7 @@ int pthread_mutex_trylock(pthread_mutex_t *p_mutex) {
                model = new ModelChecker();
                model->startChecker();
        }
-       
+
        ModelExecution *execution = model->get_execution();
        cdsc::snapmutex *m = execution->getMutexMap()->get(p_mutex);
        return m->try_lock();