From: Brian Norris <banorris@uci.edu>
Date: Wed, 23 Jan 2013 18:17:44 +0000 (-0800)
Subject: remove #include <list>
X-Git-Tag: oopsla2013~347
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=699b014c94f05bc03e1966e676b35885d959ec71;p=model-checker.git

remove #include <list>

STL lists aren't used here anymore.
---

diff --git a/nodestack.h b/nodestack.h
index 94bb58e..2dddf72 100644
--- a/nodestack.h
+++ b/nodestack.h
@@ -5,7 +5,6 @@
 #ifndef __NODESTACK_H__
 #define __NODESTACK_H__
 
-#include <list>
 #include <vector>
 #include <cstddef>
 #include <inttypes.h>
diff --git a/schedule.h b/schedule.h
index 035ee78..83b25c6 100644
--- a/schedule.h
+++ b/schedule.h
@@ -5,7 +5,6 @@
 #ifndef __SCHEDULE_H__
 #define __SCHEDULE_H__
 
-#include <list>
 #include "mymemory.h"
 
 /* Forward declaration */