Commit 2ab9614f authored by Sébastien Villemot's avatar Sébastien Villemot
Browse files

steady_state_model: fix bug introduced in 8fddca92

- don't emit warnings if the steady_state_model block is not used
- the ramsey_policy check is spurious, there is another one deeper
parent b1d7f8f2
......@@ -58,7 +58,7 @@ SteadyStateModel::addMultipleDefinitions(const vector<int> &symb_ids, expr_t exp
SteadyStateModel::checkPass(bool ramsey_policy, WarningConsolidation &warnings) const
if (ramsey_policy)
if (def_table.size() == 0)
vector<int> so_far_defined;
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment