change the namespace of mutex from std to cdsc

[c11tester.git] / threads.cc

diff --git a/threads.cc b/threads.cc
index 1a83283a680a8b071709b209db58fc12132756e7..d1929cd7ad5e6e3c3a781e813d8583a39e94e12d 100644 (file)
--- a/threads.cc
+++ b/threads.cc
@@ -5,7 +5,7 @@
 #include <string.h>
 
 #include <threads.h>
-#include <mutex>
+#include "mutex.h"
 #include "common.h"
 #include "threads-model.h"
 #include "action.h"