From 3090c7a17e2ce2930c3d7bb977da923ffd9c7be1 Mon Sep 17 00:00:00 2001
From: Shreyas <shreyascs012@gmail.com>
Date: Wed, 14 Aug 2024 20:29:16 +0530
Subject: [PATCH] changed mangled

---
 src/peers/gov/nasa/jpf/vm/JPF_jdk_internal_misc_Unsafe.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/peers/gov/nasa/jpf/vm/JPF_jdk_internal_misc_Unsafe.java b/src/peers/gov/nasa/jpf/vm/JPF_jdk_internal_misc_Unsafe.java
index 65437f11..3430cf61 100644
--- a/src/peers/gov/nasa/jpf/vm/JPF_jdk_internal_misc_Unsafe.java
+++ b/src/peers/gov/nasa/jpf/vm/JPF_jdk_internal_misc_Unsafe.java
@@ -43,7 +43,7 @@
 public class JPF_jdk_internal_misc_Unsafe extends NativePeer {
 
   @MJI
-  public int getUnsafe____Lsun_misc_Unsafe_2 (MJIEnv env, int clsRef) {
+  public int getUnsafe____Ljdk_internal_misc_Unsafe_2 (MJIEnv env, int clsRef) {
     int objRef = env.getStaticReferenceField("jdk.internal.misc.Unsafe", "theUnsafe");
     return objRef;
   }