From d6a2fadda196775373aeab0c70a90f5516bd0194 Mon Sep 17 00:00:00 2001
From: Egor Sheremetov <egor.sheremetov@yandex.ru>
Date: Wed, 15 May 2024 12:04:34 +0300
Subject: [PATCH] Removed plt

---
 src/X86.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/X86.ml b/src/X86.ml
index 4986327c2..ecb324d5c 100644
--- a/src/X86.ml
+++ b/src/X86.ml
@@ -204,7 +204,7 @@ let show instr =
         if i >= 0 then Printf.sprintf "-%d(%%rbp)" (stack_offset i)
         else Printf.sprintf "%d(%%rbp)" (stack_offset i)
     | M (_, I, _, s) -> Printf.sprintf "%s(%%rip)" s
-    | M (F, E, _, s) -> Printf.sprintf "%s@plt(%%rip)" s
+    | M (F, E, _, s) -> Printf.sprintf "%s(%%rip)" s
     | M (D, E, _, s) -> Printf.sprintf "%s@GOTPCREL(%%rip)" s
     | C s -> Printf.sprintf "$%s" s
     | L i -> Printf.sprintf "$%d" i