From 2668d55705343a896e14f186435d372c49b766bc Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?S=C3=A9bastien=20Villemot?= Date: Tue, 25 Feb 2014 17:58:13 +0100 Subject: [PATCH] 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 --- preprocessor/SteadyStateModel.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/preprocessor/SteadyStateModel.cc b/preprocessor/SteadyStateModel.cc index 9f1665275..6f33c7dfd 100644 --- a/preprocessor/SteadyStateModel.cc +++ b/preprocessor/SteadyStateModel.cc @@ -58,7 +58,7 @@ SteadyStateModel::addMultipleDefinitions(const vector &symb_ids, expr_t exp void SteadyStateModel::checkPass(bool ramsey_policy, WarningConsolidation &warnings) const { - if (ramsey_policy) + if (def_table.size() == 0) return; vector so_far_defined;