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/FileInput.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/FileInput.h')

diff --git a/src/FileInput.h b/src/FileInput.h
index c839b42..5a60cfa 100644
--- a/src/FileInput.h
+++ b/src/FileInput.h
@@ -48,7 +48,7 @@ class FileInput : public InputInterface
             m_continue_after_eof(continue_after_eof),
             m_queue(queue) {}
 
-        ~FileInput();
+        virtual ~FileInput();
         FileInput(const FileInput& other) = delete;
         FileInput& operator=(const FileInput& other) = delete;
 
-- 
cgit v1.2.3