From 5a5347453610fb5c61b294c062b88708474ca3bb Mon Sep 17 00:00:00 2001
From: Thomas Harte <thomas.harte@gmail.com>
Date: Tue, 15 Sep 2020 22:48:44 -0400
Subject: [PATCH] Ensure MultiKeyboard deconstructs properly.

---
 Inputs/Keyboard.hpp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/Inputs/Keyboard.hpp b/Inputs/Keyboard.hpp
index 56105b279..0b4a4120c 100644
--- a/Inputs/Keyboard.hpp
+++ b/Inputs/Keyboard.hpp
@@ -46,6 +46,8 @@ class Keyboard {
 		/// Constructs a Keyboard that declares itself to observe only members of @c observed_keys.
 		Keyboard(const std::set<Key> &observed_keys, const std::set<Key> &essential_modifiers);
 
+		virtual ~Keyboard() {}
+
 		// Host interface.
 
 		/// @returns @c true if the key press affects the machine; @c false otherwise.