X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=workqueue.h;h=f08f63c783596968e9dd13a5595fa1f23fcd865f;hb=9593acf48b245704a75d0e115d6dec1baf51f07c;hp=71067bbb9435054c32ecd0fe17c048ac28d38a3b;hpb=202074f941d19cef894068e7f79d76b2df598f4b;p=model-checker.git diff --git a/workqueue.h b/workqueue.h index 71067bb..f08f63c 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 > work_queue_t; +typedef std::list< WorkQueueEntry, ModelAlloc > work_queue_t; #endif /* __WORKQUEUE_H__ */