rename threads.h -> threads-model.h

[c11tester.git] / model.cc

diff --git a/model.cc b/model.cc
index ee3ce992cef8aa816fde0466ce67b42e5f6161c5..5753c5c4e016e2a6b7433aeee60706e777505860 100644 (file)
--- a/model.cc
+++ b/model.cc
@@ -12,7 +12,7 @@
 #include "promise.h"
 #include "datarace.h"
 #include "mutex.h"
-#include "threads.h"
+#include "threads-model.h"
 
 #define INITIAL_THREAD_ID      0