diff --git a/com.ibm.wala.core/src/com/ibm/wala/analysis/typeInference/TypeInference.java b/com.ibm.wala.core/src/com/ibm/wala/analysis/typeInference/TypeInference.java
index 513e67c75..47e9c39ca 100644
--- a/com.ibm.wala.core/src/com/ibm/wala/analysis/typeInference/TypeInference.java
+++ b/com.ibm.wala.core/src/com/ibm/wala/analysis/typeInference/TypeInference.java
@@ -387,8 +387,8 @@ public class TypeInference extends SSAInference<TypeVariable> implements FixedPo
       TypeAbstraction lhsType = lhs.getType();
       TypeAbstraction meet = TypeAbstraction.TOP;
       for (int i = 0; i < rhs.length; i++) {
-        if (rhs[i] != null  && ((TypeVariable)rhs[i]).getType() != null) {
-          TypeVariable r = (TypeVariable) rhs[i];
+        if (rhs[i] != null  && rhs[i].getType() != null) {
+          TypeVariable r = rhs[i];
           meet = meet.meet(r.getType());
         }
       }