From 7cd229cf26c179925b6c389078286de267756019 Mon Sep 17 00:00:00 2001
From: Stephen Berry <stephenberry.developer@gmail.com>
Date: Wed, 28 Jul 2021 09:04:38 -0500
Subject: [PATCH] Added virtual destructor for ChaiScript_Basic

ChaiScript inherits from ChaiScript_Basic, so this is good practice.
I also need to be able to inherit from ChaiScript and dynamic cast, which is impossible without this destructor.
---
 include/chaiscript/language/chaiscript_engine.hpp | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/include/chaiscript/language/chaiscript_engine.hpp b/include/chaiscript/language/chaiscript_engine.hpp
index 9950ec50..d3b245ce 100644
--- a/include/chaiscript/language/chaiscript_engine.hpp
+++ b/include/chaiscript/language/chaiscript_engine.hpp
@@ -236,6 +236,10 @@ namespace chaiscript {
     }
 
   public:
+     
+    /// \brief Virtual destructor for ChaiScript
+    virtual ~ChaiScript_Basic() = default;
+     
     /// \brief Constructor for ChaiScript
     /// \param[in] t_lib Standard library to apply to this ChaiScript instance
     /// \param[in] t_modulepaths Vector of paths to search when attempting to load a binary module