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

libthreads: include schedule.h (previous mistake...)
---

diff --git a/libthreads.c b/libthreads.c
index 3eae58f..2a4c51c 100644
--- a/libthreads.c
+++ b/libthreads.c
@@ -2,6 +2,7 @@
 #include <stdlib.h>
 
 #include "libthreads.h"
+#include "schedule.h"
 #include "common.h"
 
 #define STACK_SIZE (1024 * 1024)