From 052f67822547e76b6f1ec80d6ca6ef53b96724c5 Mon Sep 17 00:00:00 2001 From: Piotr Tworek Date: Mon, 16 Nov 2020 00:43:22 +0100 Subject: [PATCH] os: Add missing override keyword. The _device_specific_features() implements part of the Virtio_device interface. Decorate it with override keyword to make this clear and also satisfy clang which produces warning regarding this. Issue #3984 --- repos/os/src/server/vmm/virtio_console.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/repos/os/src/server/vmm/virtio_console.h b/repos/os/src/server/vmm/virtio_console.h index c5f014fbf7..419f5f0063 100644 --- a/repos/os/src/server/vmm/virtio_console.h +++ b/repos/os/src/server/vmm/virtio_console.h @@ -62,7 +62,7 @@ class Vmm::Virtio_console : public Virtio_device _assert_irq(); } - Register _device_specific_features() { return 0; } + Register _device_specific_features() override { return 0; } public: