os: Add virtual destructor to block driver

Fixes #1339.
2015-01-06 15:02:26 +01:00 · 2015-01-06 15:02:26 +01:00 · 6f8f9085f3
parent 11a513ac63
commit 6f8f9085f3
1 changed files with 5 additions and 0 deletions
--- 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
 		 */