diff --git a/src/ComputingTasks.cc b/src/ComputingTasks.cc
index b79b05375b0adb9b84332333bf39e61a27783770..0534695afacee1dbeecb66a01a8a9423961abc82 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;
 }