diff options
Diffstat (limited to 'src/cpu/inorder/resource_pool.hh')
| -rw-r--r-- | src/cpu/inorder/resource_pool.hh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/cpu/inorder/resource_pool.hh b/src/cpu/inorder/resource_pool.hh index f61fae4c8..ce7167b87 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); - virtual ~ResourcePool() {} + ~ResourcePool(); std::string name(); |