From: Brian Norris <banorris@uci.edu>
Date: Mon, 30 Apr 2012 16:51:17 +0000 (-0700)
Subject: clean up header #includes
X-Git-Tag: pldi2013~480
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=ea8f6a8adce67dbbf27b927a19fc2576cc294d23;p=model-checker.git

clean up header #includes
---

diff --git a/action.h b/action.h
index f9f0c41..3eafaa9 100644
--- a/action.h
+++ b/action.h
@@ -5,7 +5,6 @@
 
 #include "libthreads.h"
 #include "libatomic.h"
-#include "threads.h"
 
 #define VALUE_NONE -1
 
diff --git a/schedule.h b/schedule.h
index c633b28..48fdde1 100644
--- a/schedule.h
+++ b/schedule.h
@@ -3,9 +3,10 @@
 
 #include <list>
 
-#include "threads.h"
 #include "model.h"
 
+class Thread;
+
 class Scheduler {
 public:
 	void add_thread(Thread *t);