diff --git a/preprocessor/SteadyStateModel.cc b/preprocessor/SteadyStateModel.cc index 9f16652754d5a0bbf6f301d427e2bf064a58c54d..6f33c7dfd768bfd14a86507bc6022101f6ae2f8d 100644 --- a/preprocessor/SteadyStateModel.cc +++ b/preprocessor/SteadyStateModel.cc @@ -58,7 +58,7 @@ SteadyStateModel::addMultipleDefinitions(const vector<int> &symb_ids, expr_t exp void SteadyStateModel::checkPass(bool ramsey_policy, WarningConsolidation &warnings) const { - if (ramsey_policy) + if (def_table.size() == 0) return; vector<int> so_far_defined;