From 72c8a6146a9cd470b1b975f88392936d4faf17d1 Mon Sep 17 00:00:00 2001
From: "Emmanouil (Manos) Koukoutos" <emmanouil.koukoutos@epfl.ch>
Date: Mon, 17 Mar 2014 21:23:11 +0100
Subject: [PATCH] Bug fix in CodeGeneration
---
src/main/scala/leon/codegen/CodeGeneration.scala | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/main/scala/leon/codegen/CodeGeneration.scala b/src/main/scala/leon/codegen/CodeGeneration.scala
index bbade12a5..153450892 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)
--
GitLab