From: Brian Norris <banorris@uci.edu>
Date: Thu, 20 Sep 2012 16:42:14 +0000 (-0700)
Subject: fix compilation (includes)
X-Git-Tag: pldi2013~172
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=8c2497e84d1d0884a27e1cf1ec673aaaefdce49d;p=model-checker.git

fix compilation (includes)
---

diff --git a/nodestack.cc b/nodestack.cc
index 715dbb2..86d7f6b 100644
--- a/nodestack.cc
+++ b/nodestack.cc
@@ -1,3 +1,5 @@
+#include <string.h>
+
 #include "nodestack.h"
 #include "action.h"
 #include "common.h"
diff --git a/schedule.cc b/schedule.cc
index 8883d2a..10a335c 100644
--- a/schedule.cc
+++ b/schedule.cc
@@ -1,3 +1,6 @@
+#include <string.h>
+#include <stdlib.h>
+
 #include "threads.h"
 #include "schedule.h"
 #include "common.h"