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 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(); |