From: Brian Norris <banorris@uci.edu>
Date: Sat, 10 Mar 2012 02:22:11 +0000 (-0800)
Subject: schedule: include libthreads.h
X-Git-Tag: pldi2013~604
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=2249feff844a43a5acf24524e6a48a7b7dc9258f;p=model-checker.git

schedule: include libthreads.h
---

diff --git a/schedule.c b/schedule.c
index 10e7fdc..a06a5c4 100644
--- a/schedule.c
+++ b/schedule.c
@@ -1,3 +1,4 @@
+#include "libthreads.h"
 #include "schedule.h"
 #include "common.h"