virtual destructors

quentin · quentin · commit 16aeba1dc581 · 2022-03-11T09:07:44.000+01:00
diff --git a/src/include/souffle/SymbolTable.h b/src/include/souffle/SymbolTable.h
@@ -26,6 +26,8 @@ namespace souffle {
 /** Interface of a generic SymbolTable iterator. */
 class SymbolTableIteratorInterface {
 public:
+    virtual ~SymbolTableIteratorInterface() {}
+
     virtual const std::pair<const std::string, const std::size_t>& get() const = 0;
 
     virtual bool equals(const SymbolTableIteratorInterface& other) = 0;
@@ -42,6 +44,8 @@ class SymbolTableIteratorInterface {
  */
 class SymbolTable {
 public:
+    virtual ~SymbolTable() {}
+
     /**
      * @brief Iterator on a symbol table.
      *
