diff options
Diffstat (limited to 'src/dev/x86')
-rw-r--r-- | src/dev/x86/pc.hh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dev/x86/pc.hh b/src/dev/x86/pc.hh index 6cc57cb5d..fc209a67d 100644 --- a/src/dev/x86/pc.hh +++ b/src/dev/x86/pc.hh @@ -57,7 +57,7 @@ class Pc : public Platform /** * Do platform initialization stuff */ - void init(); + void init() override; Pc(const Params *p); |