diff --git a/jode/jode/type/NullType.java b/jode/jode/type/NullType.java index 542f067..1521b66 100644 --- a/jode/jode/type/NullType.java +++ b/jode/jode/type/NullType.java @@ -78,6 +78,8 @@ public class NullType extends ReferenceType { * @return the intersection, or tError, if a type conflict happens. */ public Type intersection(Type type) { - throw new AssertError("NULL.intersection"); + if (type == this) + return type; + return tError; } }