mirror of
https://github.com/ChaiScript/ChaiScript.git
synced 2025-12-06 08:46:53 +08:00
Merge pull request #575 from stephenberry/develop
Added virtual destructor for ChaiScript_Basic
This commit is contained in:
commit
406a7ba1ef
@ -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
|
||||
|
||||
Loading…
x
Reference in New Issue
Block a user