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 60d35ab61..e8061d3ff 100644 --- a/src/cpu/inorder/resource_pool.hh +++ b/src/cpu/inorder/resource_pool.hh @@ -108,7 +108,7 @@ class ResourcePool { } /** Processes a resource event. */ - virtual void process(); + void process(); /** Returns the description of the resource event. */ const char *description(); |