X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=blobdiff_plain;f=threads.cc;h=2ff058f45ebe727e952b2769a9f2336dc461106b;hp=7f515159f78052727180b1be6d82ba1df7e9ebac;hb=e60d8c23d30a0dfe66b8426f7f2ecf576e812028;hpb=b8b39c87557325a384faa45d0cae56a6f71f52b1

diff --git a/threads.cc b/threads.cc
index 7f515159..2ff058f4 100644
--- a/threads.cc
+++ b/threads.cc
@@ -6,7 +6,7 @@
 
 #include "libthreads.h"
 #include "common.h"
-#include "threads.h"
+#include "threads-model.h"
 
 /* global "model" object */
 #include "model.h"