X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker.git;a=blobdiff_plain;f=workqueue.h;h=90347883cd69ed3c05da13a04b4514eec9314da5;hp=f08f63c783596968e9dd13a5595fa1f23fcd865f;hb=HEAD;hpb=3b39a4cdcd7eafca5480e9d9bdec4d24fe5441b3

diff --git a/workqueue.h b/workqueue.h
index f08f63c..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, ModelAlloc<WorkQueueEntry> > work_queue_t;
+typedef ModelList<WorkQueueEntry> work_queue_t;
 
 #endif /* __WORKQUEUE_H__ */