From 7930d1136d6657e9051299a862ce6918f313f914 Mon Sep 17 00:00:00 2001
From: Brian Norris <banorris@uci.edu>
Date: Wed, 14 Mar 2012 23:01:27 -0700
Subject: [PATCH] remove unnecessary #includes

---
 model.cc    | 2 --
 schedule.cc | 2 --
 2 files changed, 4 deletions(-)

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"
-- 
2.34.1