From 639baf934ed761f90b28d17813949d90cb5e1234 Mon Sep 17 00:00:00 2001
From: Kristóf Marussy <kristof@marussy.com>
Date: Fri, 31 May 2024 19:22:00 +0200
Subject: fix(reasoning): candidate rounding mode

---
 .../store/reasoning/translator/PartialRelationTranslator.java         | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'subprojects')

diff --git a/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/translator/PartialRelationTranslator.java b/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/translator/PartialRelationTranslator.java
index 75fb3397..1c3f6a6d 100644
--- a/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/translator/PartialRelationTranslator.java
+++ b/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/translator/PartialRelationTranslator.java
@@ -1,5 +1,5 @@
 /*
- * SPDX-FileCopyrightText: 2023 The Refinery Authors <https://refinery.tools/>
+ * SPDX-FileCopyrightText: 2023-2024 The Refinery Authors <https://refinery.tools/>
  *
  * SPDX-License-Identifier: EPL-2.0
  */
@@ -290,7 +290,7 @@ public final class PartialRelationTranslator extends PartialSymbolTranslator<Tru
 			candidateMay = reasoningBuilder.lift(Modality.MAY, Concreteness.CANDIDATE, query);
 		}
 		if (candidateMust == null) {
-			candidateMust = reasoningBuilder.lift(Modality.MAY, Concreteness.CANDIDATE, query);
+			candidateMust = reasoningBuilder.lift(Modality.MUST, Concreteness.CANDIDATE, query);
 		}
 	}
 
-- 
cgit v1.2.3-70-g09d2