X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=workqueue.h;h=3e2481b97eb2080437beb02e22863db25fdbfac3;hb=7524803854c2de38c0311fe5037e3c17105ccfaa;hp=f08f63c783596968e9dd13a5595fa1f23fcd865f;hpb=ea4611c1fc3b580020afbc04d531e4bc10fcca9c;p=model-checker.git

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