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

model: remove <list> include
---

diff --git a/model.h b/model.h
index 80917741..9665fa42 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>