X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=workqueue.h;h=90347883cd69ed3c05da13a04b4514eec9314da5;hb=c7a6544c3f19d8c4d71b82871c832a866f8dbb79;hp=a25e4fee60f8718180026278570834ab6781a9a1;hpb=5ea8e3d5d861ed363e5ac5f3b20b8181dd197efb;p=model-checker.git

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"