From 6f8f9085f3b5365b181f1828f58a7d723cac298c Mon Sep 17 00:00:00 2001
From: Sebastian Sumpf <sebastian.sumpf@genode-labs.com>
Date: Tue, 6 Jan 2015 15:02:26 +0100
Subject: [PATCH] os: Add virtual destructor to block driver

Fixes #1339.
---
 repos/os/include/block/driver.h | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/repos/os/include/block/driver.h b/repos/os/include/block/driver.h
index 559d17f1e..87380f2c2 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
 		 */