mirror of
https://github.com/ChaiScript/ChaiScript.git
synced 2025-12-08 01:36:54 +08:00
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. |
||
|---|---|---|
| .. | ||
| chaiscript | ||