diff options
Diffstat (limited to 'src/kern')
| -rw-r--r-- | src/kern/kernel_stats.hh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/kern/kernel_stats.hh b/src/kern/kernel_stats.hh index 8cc1ca84e..c2c7abf2d 100644 --- a/src/kern/kernel_stats.hh +++ b/src/kern/kernel_stats.hh @@ -80,8 +80,8 @@ class Statistics : public Serializable void swpipl(int ipl); public: - void serialize(CheckpointOut &cp) const M5_ATTR_OVERRIDE; - void unserialize(CheckpointIn &cp) M5_ATTR_OVERRIDE; + void serialize(CheckpointOut &cp) const override; + void unserialize(CheckpointIn &cp) override; }; } // namespace Kernel |