From feca3eda3be50ea1f1e72f909e6004bb49f4b30a Mon Sep 17 00:00:00 2001
From: jimmyb08901017 <jimmy312495@gmail.com>
Date: Thu, 7 Aug 2025 16:33:56 +0800
Subject: [PATCH] fix name disorder

---
 src/abc/abcMgr.cpp | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/abc/abcMgr.cpp b/src/abc/abcMgr.cpp
index 77dd3989..7534ecc2 100644
--- a/src/abc/abcMgr.cpp
+++ b/src/abc/abcMgr.cpp
@@ -76,7 +76,9 @@ void AbcMgr::readVerilogNew(const ABCParams &opt) {
 }
 
 void AbcMgr::readAiger(const ABCParams &opt) {
-    char *pFileName = opt.pFileName;
+    string tmpFileAigfromYsys = "._tmp_.aig";
+    char *pFileName = new char[tmpFileAigfromYsys.size() + 1];
+    strcpy(pFileName, tmpFileAigfromYsys.c_str());
     int fSkipStrash = opt.fSkipStrash;
     int fGiaSimple  = opt.fGiaSimple;
     int fCheck      = opt.fCheck;