Merge pull request #616 from davidgiven/gui

Fix a crash when using the GUI.
This commit is contained in:
David Given
2022-11-21 20:37:52 +01:00
committed by GitHub

View File

@@ -5,8 +5,9 @@ static std::unique_ptr<std::set<LocalBase*>> variables;
void Environment::reset()
{
for (LocalBase* var : *variables)
var->reset();
if (variables)
for (LocalBase* var : *variables)
var->reset();
}
void Environment::addVariable(LocalBase* local)