From 3cd7751024e44fc32d428941b06b26488dc1b5f6 Mon Sep 17 00:00:00 2001
From: Kresten Krab Thorup <krab@trifork.com>
Date: Fri, 4 Oct 2013 23:24:04 +0200
Subject: [PATCH] Decode module name for Funs correctly

---
 src/main/java/erjang/EFun.java | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/src/main/java/erjang/EFun.java b/src/main/java/erjang/EFun.java
index 04b4b7b6..927b00a0 100644
--- a/src/main/java/erjang/EFun.java
+++ b/src/main/java/erjang/EFun.java
@@ -751,8 +751,9 @@ protected FunID get_id() {
 		if (cname.startsWith(ERJANG_MODULES_DOT)) {
 
 			int last = cname.lastIndexOf('.');
-			module = EAtom.intern(cname.substring(ERJANG_MODULES_DOT.length(),
-					last));
+			String name = cname.substring(ERJANG_MODULES_DOT.length(),
+					last);
+			module = EAtom.intern(EUtil.decodeJavaName(name));
 		}
 		
 		EAtom fun = null;