From 2e04e80966d435f4e0c5f472d501b45ec52aba33 Mon Sep 17 00:00:00 2001
From: "Matthias P. Braendli" <matthias.braendli@mpb.li>
Date: Sat, 7 Oct 2017 13:18:13 +0200
Subject: Add -R option to restart input on fault

---
 src/InputInterface.h | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/InputInterface.h')

diff --git a/src/InputInterface.h b/src/InputInterface.h
index d2fcf97..b352903 100644
--- a/src/InputInterface.h
+++ b/src/InputInterface.h
@@ -27,6 +27,8 @@
 
 class InputInterface {
     public:
+        virtual ~InputInterface() {}
+
         /*! Open the input interface. In case of failure, throws a
          * runtime_error.
          */
-- 
cgit v1.2.3