X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=main.cc;h=bc8a08ec6f05b5c7848feb6d8d474db793add8b0;hb=4b03f676b719a8e10990f33d746ce5dd94d1337d;hp=53bf7c5dfa6130f14a3ad539c90f78866f1d4d43;hpb=9bbc3203ea6079d4222167e6b01cec9d041d08d9;p=model-checker.git

diff --git a/main.cc b/main.cc
index 53bf7c5..bc8a08e 100644
--- a/main.cc
+++ b/main.cc
@@ -4,9 +4,7 @@
 
 #include <unistd.h>
 
-#include <threads.h>
 #include "common.h"
-#include "threads-model.h"
 #include "output.h"
 
 #include "datarace.h"