From d437713402805167e6c81f6fad8f5c8d5a0a3581 Mon Sep 17 00:00:00 2001
From: Vasilii Rogin <vasya@rogin.ru>
Date: Sat, 29 Apr 2023 22:11:12 +0300
Subject: [PATCH] Add virtual destructor
 (https://github.com/isocpp/CppCoreGuidelines/blob/master/CppCoreGuidelines.md#c35-a-base-class-destructor-should-be-either-public-and-virtual-or-protected-and-non-virtual)

---
 src/sfall_arrays.cc | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/sfall_arrays.cc b/src/sfall_arrays.cc
index e9370e8..aa09bd8 100644
--- a/src/sfall_arrays.cc
+++ b/src/sfall_arrays.cc
@@ -55,6 +55,7 @@ public:
     virtual ProgramValue GetArray(const ProgramValue& key) = 0;
     virtual void SetArray(const ProgramValue& key, const ProgramValue& val, bool allowUnset) = 0;
     virtual void ResizeArray(int newLen) = 0;
+    virtual ~SFallArray() = default;
 };
 
 class SFallArrayList : public SFallArray {