From: Brian Norris <banorris@uci.edu>
Date: Thu, 15 Mar 2012 06:01:27 +0000 (-0700)
Subject: remove unnecessary #includes
X-Git-Tag: pldi2013~572
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=7930d1136d6657e9051299a862ce6918f313f914;p=model-checker.git

remove unnecessary #includes
---

diff --git a/model.cc b/model.cc
index fb801ce..b97352a 100644
--- a/model.cc
+++ b/model.cc
@@ -1,7 +1,5 @@
 #include "model.h"
 #include "schedule.h"
-#include <stdlib.h>
-#include <string.h>
 
 ModelChecker *model;
 
diff --git a/schedule.cc b/schedule.cc
index c02ca62..b938828 100644
--- a/schedule.cc
+++ b/schedule.cc
@@ -1,5 +1,3 @@
-#include <stdlib.h>
-
 #include "libthreads.h"
 #include "schedule.h"
 #include "common.h"