From b496c4ba2cbf8c9f6d67b90f1a380fdcb564e4dd Mon Sep 17 00:00:00 2001 From: Johannes Pfeifer Date: Fri, 24 Sep 2021 09:14:41 +0200 Subject: [PATCH] ramsey_model: Fix error message logic one of the statements being present is sufficient --- src/ComputingTasks.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/ComputingTasks.cc b/src/ComputingTasks.cc index b79b0537..0534695a 100644 --- a/src/ComputingTasks.cc +++ b/src/ComputingTasks.cc @@ -668,7 +668,7 @@ RamseyConstraintsStatement::RamseyConstraintsStatement(const SymbolTable &symbol void RamseyConstraintsStatement::checkPass(ModFileStructure &mod_file_struct, WarningConsolidation &warnings) { - if (!mod_file_struct.ramsey_model_present || !mod_file_struct.ramsey_policy_present) + if (!mod_file_struct.ramsey_model_present && !mod_file_struct.ramsey_policy_present) cerr << "ramsey_constraints: can only be used with ramsey_model or ramsey_policy" << endl; }