switch to snapshot/modelalloc versions of stl classes

[model-checker.git] / workqueue.h

diff --git a/workqueue.h b/workqueue.h
index 71067bbb9435054c32ecd0fe17c048ac28d38a3b..3e2481b97eb2080437beb02e22863db25fdbfac3 100644 (file)
--- a/workqueue.h
+++ b/workqueue.h
@@ -6,7 +6,7 @@
 #ifndef __WORKQUEUE_H__
 #define __WORKQUEUE_H__
 
-#include <list>
+#include "stl_wrappers.h"
 #include "mymemory.h"
 
 class ModelAction;
@@ -102,6 +102,6 @@ class MOEdgeWorkEntry : public WorkQueueEntry {
 };
 
 /** @brief typedef for the work queue type */
-typedef std::list< WorkQueueEntry, MyAlloc<WorkQueueEntry> > work_queue_t;
+typedef model_list< WorkQueueEntry > work_queue_t;
 
 #endif /* __WORKQUEUE_H__ */