From: Brian Norris <banorris@uci.edu>
Date: Tue, 20 Nov 2012 04:53:46 +0000 (-0800)
Subject: model: remove <list> include
X-Git-Tag: oopsla2013~492
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=0eb5c77446d252acfc48ca98e077e3396e502a9d;p=model-checker.git

model: remove <list> include
---

diff --git a/model.h b/model.h
index 8091774..9665fa4 100644
--- a/model.h
+++ b/model.h
@@ -5,7 +5,6 @@
 #ifndef __MODEL_H__
 #define __MODEL_H__
 
-#include <list>
 #include <vector>
 #include <cstddef>
 #include <ucontext.h>