From a59a143a25bdc7d794cdcc8ebb6e8d2f37903015 Mon Sep 17 00:00:00 2001 From: Gabe Black Date: Tue, 7 Jun 2011 00:24:49 -0700 Subject: gcc 4.0: Add some virtual destructors to make gcc 4.0 happy. --- src/cpu/inorder/resource_pool.hh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/cpu') diff --git a/src/cpu/inorder/resource_pool.hh b/src/cpu/inorder/resource_pool.hh index 9d9439665..b42011091 100644 --- a/src/cpu/inorder/resource_pool.hh +++ b/src/cpu/inorder/resource_pool.hh @@ -122,7 +122,7 @@ class ResourcePool { public: ResourcePool(InOrderCPU *_cpu, ThePipeline::Params *params); - ~ResourcePool(); + virtual ~ResourcePool(); std::string name(); -- cgit v1.2.3