From e1547c6b0c4c21bdd0b05c545873490e9453cc9b Mon Sep 17 00:00:00 2001
From: Jakob Odersky <jakob@odersky.com>
Date: Fri, 13 Dec 2019 18:14:11 -0500
Subject: Add name mangling rule for '$'

---
 src/main/java/org/glavo/javah/Utils.java | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/main/java/org/glavo/javah/Utils.java b/src/main/java/org/glavo/javah/Utils.java
index cb1ceef..6ea619c 100644
--- a/src/main/java/org/glavo/javah/Utils.java
+++ b/src/main/java/org/glavo/javah/Utils.java
@@ -53,6 +53,8 @@ class Utils {
             char ch = name.charAt(i);
             if (ch == '.') {
                 builder.append('_');
+            } else if (ch == '$') {
+                builder.append("__");
             } else if (ch == '_') {
                 builder.append("_1");
             } else if (ch == ';') {
-- 
cgit v1.2.3