From 50d5820026f75a8ea53330c24d3337448f971d10 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Jos=C3=A9=20Fonseca?= <jose.r.fonseca@gmail.com>
Date: Sat, 28 May 2011 18:18:52 +0100
Subject: [PATCH] Remove unused header.

---
 trace_model.hpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/trace_model.hpp b/trace_model.hpp
index b3a118a..ddbcabd 100644
--- a/trace_model.hpp
+++ b/trace_model.hpp
@@ -34,7 +34,6 @@
 #include <assert.h>
 
 #include <map>
-#include <list>
 #include <vector>
 #include <iostream>
 
-- 
2.45.2