rename 'MyAlloc' to 'ModelAlloc'

[model-checker.git] / workqueue.h

diff --git a/workqueue.h b/workqueue.h
index 71067bbb9435054c32ecd0fe17c048ac28d38a3b..f08f63c783596968e9dd13a5595fa1f23fcd865f 100644 (file)
--- 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__ */