diff --git a/src/main/java/myutil/intboolsolver/IBSStdExpressionClass.java b/src/main/java/myutil/intboolsolver/IBSStdExpressionClass.java
index bbe208e331d60ac9149bdbb55e35673f511b2f52..7502f9d2164afb09fb64829c48bee40158093903 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();
     }