diff --git a/src/util/symbol_table_base.cpp b/src/util/symbol_table_base.cpp
index f0433d89619..b8b6f05a346 100644
--- a/src/util/symbol_table_base.cpp
+++ b/src/util/symbol_table_base.cpp
@@ -5,6 +5,12 @@
 #include <ostream>
 #include <algorithm>
 
+/// Destructor
+symbol_table_baset::~symbol_table_baset()
+{
+}
+
+
 /// Add a new symbol to the symbol table
 /// \param symbol: The symbol to be added to the symbol table
 /// \return Returns true if the process failed, which should only happen if
diff --git a/src/util/symbol_table_base.h b/src/util/symbol_table_base.h
index 6a51a34a863..013649b173f 100644
--- a/src/util/symbol_table_base.h
+++ b/src/util/symbol_table_base.h
@@ -42,6 +42,8 @@ class symbol_table_baset
   symbol_table_baset(const symbol_table_baset &other) = delete;
   symbol_table_baset &operator=(const symbol_table_baset &other) = delete;
 
+  virtual ~symbol_table_baset();
+
 public:
   /// Permits implicit cast to const symbol_tablet &
   operator const symbol_tablet &() const