From e025d9f25a541faacaf55d40746bf6af410e79cb Mon Sep 17 00:00:00 2001
From: Sophie Coudert <sophie.coudert@telecom-paris.fr>
Date: Thu, 13 Apr 2023 17:09:55 +0200
Subject: [PATCH] small typo
---
src/main/java/myutil/intboolsolver/IBSStdExpressionClass.java | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/main/java/myutil/intboolsolver/IBSStdExpressionClass.java b/src/main/java/myutil/intboolsolver/IBSStdExpressionClass.java
index bbe208e331..7502f9d216 100644
--- a/src/main/java/myutil/intboolsolver/IBSStdExpressionClass.java
+++ b/src/main/java/myutil/intboolsolver/IBSStdExpressionClass.java
@@ -312,13 +312,13 @@ public class IBSStdExpressionClass<
}
public abstract class IExpr extends IBSExpressionClass<Spec,Comp,State,SpecState,CompState>.IExpr {
protected short type;
- public final int getType() { return type; }
+ public final short getType() { return type; }
public abstract int getPrio();
public abstract IExpr negate();
}
public abstract class BExpr extends IBSExpressionClass<Spec,Comp,State,SpecState,CompState>.BExpr {
protected short type;
- public final int getType() { return type; }
+ public final short getType() { return type; }
public abstract int getPrio();
public abstract BExpr negate();
}
--
GitLab