From b496c4ba2cbf8c9f6d67b90f1a380fdcb564e4dd Mon Sep 17 00:00:00 2001
From: Johannes Pfeifer <jpfeifer@gmx.de>
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;
}
--
GitLab