diff --git a/jode/jode/type/Type.java b/jode/jode/type/Type.java index 2979b1c..7219e84 100644 --- a/jode/jode/type/Type.java +++ b/jode/jode/type/Type.java @@ -321,10 +321,10 @@ public class Type { */ public Type intersection(Type type) { if (this == tError || type == tError) - return type; + return tError; if (this == tUnknown) return type; - if (this == type) + if (type == tUnknown || this == type) return this; Decompiler.err.println("intersecting "+ this +" and "+ type + " to ");