X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=blobdiff_plain;f=workqueue.h;h=f08f63c783596968e9dd13a5595fa1f23fcd865f;hp=71067bbb9435054c32ecd0fe17c048ac28d38a3b;hb=e0d4c19ffcaf877eaac3a2b7324daae6c1fa7a25;hpb=202074f941d19cef894068e7f79d76b2df598f4b

diff --git a/workqueue.h b/workqueue.h
index 71067bbb..f08f63c7 100644
--- a/workqueue.h
+++ b/workqueue.h
@@ -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 std::list< WorkQueueEntry, ModelAlloc<WorkQueueEntry> > work_queue_t;
 
 #endif /* __WORKQUEUE_H__ */