From 90b916724902d36eee7fb46b8472a06645a12e9f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Mika=C3=ABl=20Mayer?= <a-mikmay@microsoft.com>
Date: Mon, 4 Jan 2016 19:28:26 +0100
Subject: [PATCH] Hot fix: Wrong encoding for boolean bytecode
---
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 7f20b7195..dc674dfbf 100644
--- a/src/main/scala/leon/codegen/CodeGeneration.scala
+++ b/src/main/scala/leon/codegen/CodeGeneration.scala
@@ -1182,7 +1182,7 @@ trait CodeGeneration {
ch << InvokeStatic(StrOpsClass, "intToString", s"(I)L$JavaStringClass;")
case BooleanToString(a) =>
mkExpr(a, ch)
- ch << InvokeStatic(StrOpsClass, "booleanToString", s"(z)L$JavaStringClass;")
+ ch << InvokeStatic(StrOpsClass, "booleanToString", s"(Z)L$JavaStringClass;")
case IntegerToString(a) =>
mkExpr(a, ch)
ch << InvokeStatic(StrOpsClass, "bigIntToString", s"(L$BigIntClass;)L$JavaStringClass;")
--
GitLab