From 349d5d1fb8424d70885c90824a94b4e81521bf70 Mon Sep 17 00:00:00 2001
From: Etienne Kneuss <ekneuss@gmail.com>
Date: Mon, 10 Dec 2012 16:55:09 +0100
Subject: [PATCH] Box primitive types in productElements

---
 src/main/scala/leon/codegen/CodeGeneration.scala | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/main/scala/leon/codegen/CodeGeneration.scala b/src/main/scala/leon/codegen/CodeGeneration.scala
index 7ab9e4e76..5a37e468f 100644
--- a/src/main/scala/leon/codegen/CodeGeneration.scala
+++ b/src/main/scala/leon/codegen/CodeGeneration.scala
@@ -358,6 +358,7 @@ object CodeGeneration {
         pech << Ldc(i)
         pech << ALoad(0)
         pech << GetField(cName, f.id.name, typeToJVM(f.tpe))
+        mkBox(f.tpe, pech)
         pech << AASTORE
       }
 
-- 
GitLab