From 67725d0a684e1165eee6fce50be6412c11d53861 Mon Sep 17 00:00:00 2001
From: Etienne Kneuss <ekneuss@gmail.com>
Date: Mon, 10 Dec 2012 16:50:43 +0100
Subject: [PATCH] Fix type error
---
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 84a74702d..7ab9e4e76 100644
--- a/src/main/scala/leon/codegen/CodeGeneration.scala
+++ b/src/main/scala/leon/codegen/CodeGeneration.scala
@@ -342,7 +342,7 @@ object CodeGeneration {
}
locally {
- val pem = cf.addMethod("[java/lang/Object;", "productElements")
+ val pem = cf.addMethod("[Ljava/lang/Object;", "productElements")
pem.setFlags((
METHOD_ACC_PUBLIC |
METHOD_ACC_FINAL
--
GitLab