diff --git a/src/main/java/soot/jimple/spark/internal/TypeManager.java b/src/main/java/soot/jimple/spark/internal/TypeManager.java
index a715917be57..03cbdf48025 100644
--- a/src/main/java/soot/jimple/spark/internal/TypeManager.java
+++ b/src/main/java/soot/jimple/spark/internal/TypeManager.java
@@ -158,6 +158,7 @@ final public BitVector get(Type type) {
         logger.warn("Type mask not found for type " + type
                 + ". This is casued by a cast operation to a type which is a phantom class " +
                 "and no type mask was found. This may affect the precision of the point-to set.");
+        return new BitVector();
       }
     }
     return ret;