From 5019bd826dbe5a1e5c2aea83c61091e0829dfea1 Mon Sep 17 00:00:00 2001
From: alaindargelas <63669492+alaindargelas@users.noreply.github.com>
Date: Tue, 15 Oct 2024 18:36:37 -0700
Subject: [PATCH] Revert "auto name change until openSTA signal name parsing is
 fixed"

---
 kernel/yosys.cc | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/kernel/yosys.cc b/kernel/yosys.cc
index 30772ae10..529168552 100644
--- a/kernel/yosys.cc
+++ b/kernel/yosys.cc
@@ -641,7 +641,7 @@ RTLIL::IdString new_id(std::string file, int line, std::string func)
 	if (pos != std::string::npos)
 		func = func.substr(pos+1);
 
-	return stringf("$auto$%s@%d@%s$%d", file.c_str(), line, func.c_str(), autoidx++);
+	return stringf("$auto$%s:%d:%s$%d", file.c_str(), line, func.c_str(), autoidx++);
 }
 
 RTLIL::IdString new_id_suffix(std::string file, int line, std::string func, std::string suffix)
@@ -658,7 +658,7 @@ RTLIL::IdString new_id_suffix(std::string file, int line, std::string func, std:
 	if (pos != std::string::npos)
 		func = func.substr(pos+1);
 
-	return stringf("$auto$%s@%d@%s$%s$%d", file.c_str(), line, func.c_str(), suffix.c_str(), autoidx++);
+	return stringf("$auto$%s:%d:%s$%s$%d", file.c_str(), line, func.c_str(), suffix.c_str(), autoidx++);
 }
 
 RTLIL::Design *yosys_get_design()