pac_growth: ensure symbol has been declared

issue#70
Houtan Bastani 2019-01-28 10:45:48 +01:00
parent d922ae8ffc
commit 71be51c464
No known key found for this signature in database
GPG Key ID: 000094FB955BE169
1 changed files with 2 additions and 0 deletions

View File

@ -2636,6 +2636,8 @@ ParsingDriver::pac_model()
void
ParsingDriver::set_pac_growth(const string &name, int lag)
{
if (!mod_file->symbol_table.exists(name))
error("Unknown symbol used in pac_growth option: " + name + "\n");
pac_growth_symb_id = mod_file->symbol_table.getID(name);
pac_growth_lag = -lag;
}