X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=workqueue.h;h=90347883cd69ed3c05da13a04b4514eec9314da5;hb=2d0d4ac38e05905a6633b3f2d5112ccadd45c27f;hp=71067bbb9435054c32ecd0fe17c048ac28d38a3b;hpb=202074f941d19cef894068e7f79d76b2df598f4b;p=model-checker.git

diff --git a/workqueue.h b/workqueue.h
index 71067bb..9034788 100644
--- a/workqueue.h
+++ b/workqueue.h
@@ -6,8 +6,8 @@
 #ifndef __WORKQUEUE_H__
 #define __WORKQUEUE_H__
 
-#include <list>
 #include "mymemory.h"
+#include "stl-model.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 ModelList<WorkQueueEntry> work_queue_t;
 
 #endif /* __WORKQUEUE_H__ */