From 0eb5c77446d252acfc48ca98e077e3396e502a9d Mon Sep 17 00:00:00 2001
From: Brian Norris <banorris@uci.edu>
Date: Mon, 19 Nov 2012 20:53:46 -0800
Subject: [PATCH 1/1] model: remove <list> include

---
 model.h | 1 -
 1 file changed, 1 deletion(-)

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