From: Brian Norris <banorris@uci.edu>
Date: Fri, 8 Mar 2013 20:35:42 +0000 (-0800)
Subject: stl - remove stale <vector> and <list> #include's
X-Git-Tag: oopsla2013~148
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker.git;a=commitdiff_plain;h=91154c0e76e77ff53c968f3aa7ad7626fae19acb

stl - remove stale <vector> and <list> #include's
---

diff --git a/action.cc b/action.cc
index 4b380c2..4de6f35 100644
--- a/action.cc
+++ b/action.cc
@@ -1,7 +1,6 @@
 #include <stdio.h>
 #define __STDC_FORMAT_MACROS
 #include <inttypes.h>
-#include <vector>
 
 #include "model.h"
 #include "action.h"
diff --git a/action.h b/action.h
index e375016..61c7c4c 100644
--- a/action.h
+++ b/action.h
@@ -5,7 +5,6 @@
 #ifndef __ACTION_H__
 #define __ACTION_H__
 
-#include <list>
 #include <cstddef>
 #include <inttypes.h>
 
diff --git a/cyclegraph.h b/cyclegraph.h
index 9819cf8..a03ebca 100644
--- a/cyclegraph.h
+++ b/cyclegraph.h
@@ -9,7 +9,6 @@
 #ifndef __CYCLEGRAPH_H__
 #define __CYCLEGRAPH_H__
 
-#include <vector>
 #include <inttypes.h>
 #include <stdio.h>
 
diff --git a/model.h b/model.h
index 236bbe9..a72e0b5 100644
--- a/model.h
+++ b/model.h
@@ -5,7 +5,6 @@
 #ifndef __MODEL_H__
 #define __MODEL_H__
 
-#include <vector>
 #include <cstddef>
 #include <ucontext.h>
 #include <inttypes.h>
diff --git a/nodestack.h b/nodestack.h
index 394552c..99374a3 100644
--- a/nodestack.h
+++ b/nodestack.h
@@ -5,7 +5,6 @@
 #ifndef __NODESTACK_H__
 #define __NODESTACK_H__
 
-#include <vector>
 #include <cstddef>
 #include <inttypes.h>
 
diff --git a/workqueue.h b/workqueue.h
index a25e4fe..9034788 100644
--- a/workqueue.h
+++ b/workqueue.h
@@ -6,7 +6,6 @@
 #ifndef __WORKQUEUE_H__
 #define __WORKQUEUE_H__
 
-#include <list>
 #include "mymemory.h"
 #include "stl-model.h"