diff --git a/repos/os/src/server/input_filter/source.h b/repos/os/src/server/input_filter/source.h
index c0ef40ea7..f9df447a8 100644
--- a/repos/os/src/server/input_filter/source.h
+++ b/repos/os/src/server/input_filter/source.h
@@ -36,6 +36,8 @@ class Input_filter::Source
 
 		Source(Registry<Source> &owner) : _owner_elem(owner, *this) { }
 
+		virtual ~Source() { }
+
 		static bool input_node(Xml_node node)
 		{
 			return node.type() == "input"