From a05779043479936a1d2bf0af345db07fd6bda7c1 Mon Sep 17 00:00:00 2001
From: Sophie Coudert <sophie.coudert@telecom-paris.fr>
Date: Wed, 8 Mar 2023 17:17:11 +0100
Subject: [PATCH] one less bug...
---
src/main/java/myutil/intboolsolver/IBSolver.java | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/src/main/java/myutil/intboolsolver/IBSolver.java b/src/main/java/myutil/intboolsolver/IBSolver.java
index 037748b693..fb6927beb8 100644
--- a/src/main/java/myutil/intboolsolver/IBSolver.java
+++ b/src/main/java/myutil/intboolsolver/IBSolver.java
@@ -262,15 +262,15 @@ public class IBSolver <
if (expression.equals("true")) {
intValue = 1;
isImmediateValue = IMMEDIATE_BOOL;
- returnVal = true;
+ return true;
} else if (expression.equals("false")) {
intValue = 0;
isImmediateValue = IMMEDIATE_BOOL;
- returnVal = true;
+ return true;
} else if (expression.matches("-?\\d+")) {
intValue = Integer.parseInt(expression);
isImmediateValue = IMMEDIATE_INT;
- returnVal = true;
+ return true;
} else {
IBSTypedAttribute att = attC.getTypedAttribute(_comp, expression);
switch (att.getType()) {
--
GitLab