diff --git a/repos/os/include/block/driver.h b/repos/os/include/block/driver.h index 559d17f1ec..87380f2c24 100644 --- a/repos/os/include/block/driver.h +++ b/repos/os/include/block/driver.h @@ -75,6 +75,11 @@ class Block::Driver class Io_error : public ::Genode::Exception { }; class Request_congestion : public ::Genode::Exception { }; + /** + * Destructor + */ + virtual ~Driver() { } + /** * Request block size for driver and medium */