X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=model.cc;h=5753c5c4e016e2a6b7433aeee60706e777505860;hb=a64ca6ed8ef09fb2a974d44315404075cbf365fe;hp=ee3ce992cef8aa816fde0466ce67b42e5f6161c5;hpb=ee0f520bb244e2aa820e6b5a7e24c43c396b0905;p=model-checker.git

diff --git a/model.cc b/model.cc
index ee3ce99..5753c5c 100644
--- 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