Fix snapshot code

[model-checker.git] / workqueue.h

diff --git a/workqueue.h b/workqueue.h
index a25e4fee60f8718180026278570834ab6781a9a1..90347883cd69ed3c05da13a04b4514eec9314da5 100644 (file)
--- 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"