From 71be51c46437777a363f31608fb389975c9751c5 Mon Sep 17 00:00:00 2001 From: Houtan Bastani Date: Mon, 28 Jan 2019 10:45:48 +0100 Subject: [PATCH] pac_growth: ensure symbol has been declared --- src/ParsingDriver.cc | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/ParsingDriver.cc b/src/ParsingDriver.cc index 5fdf87c6..a53f1ffd 100644 --- a/src/ParsingDriver.cc +++ b/src/ParsingDriver.cc @@ -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; }