diff --git a/src/main/scala/leon/codegen/CodeGeneration.scala b/src/main/scala/leon/codegen/CodeGeneration.scala index bbade12a57bc0748faa385f592f511e50ee9bdda..1534508922630c1f68bc67c968db96c42a5e5d95 100644 --- a/src/main/scala/leon/codegen/CodeGeneration.scala +++ b/src/main/scala/leon/codegen/CodeGeneration.scala @@ -803,7 +803,7 @@ trait CodeGeneration { ech << ALoad(castSlot) instrumentedGetField(ech, cct, vd.id)(NoLocals) - typeToJVM(vd.id.getType) match { + typeToJVM(vd.getType) match { case "I" | "Z" => ech << If_ICmpNe(notEq)