From ced766734c8fc708eca196cad37a5c07287d34c7 Mon Sep 17 00:00:00 2001
From: Egor Sheremetov <egor.sheremetov@yandex.ru>
Date: Thu, 18 Apr 2024 13:00:35 +0300
Subject: [PATCH] Added call to functions through PLT

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

diff --git a/src/X86.ml b/src/X86.ml
index 60fa0b794..3979f7d63 100644
--- a/src/X86.ml
+++ b/src/X86.ml
@@ -237,7 +237,7 @@ let show instr =
   | Push s -> Printf.sprintf "\tpushq\t%s" (opnd s)
   | Pop s -> Printf.sprintf "\tpopq\t%s" (opnd s)
   | Ret -> "\tret"
-  | Call p -> Printf.sprintf "\tcall\t%s" p
+  | Call p -> Printf.sprintf "\tcall\t%s@plt" p
   | CallI o -> Printf.sprintf "\tcall\t*(%s)" (opnd o)
   | Label l -> Printf.sprintf "%s:\n" l
   | Jmp l -> Printf.sprintf "\tjmp\t%s" l