From 4b03f676b719a8e10990f33d746ce5dd94d1337d Mon Sep 17 00:00:00 2001
From: Brian Norris <banorris@uci.edu>
Date: Mon, 19 Nov 2012 19:47:11 -0800
Subject: [PATCH] main: remove #include's

---
 main.cc | 2 --
 1 file changed, 2 deletions(-)

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"
-- 
2.34.1