From a3e982a5e20cecee1bf2b782b7c8cea8f6431141 Mon Sep 17 00:00:00 2001
From: "Emil J. Tywoniak" <emil@tywoniak.eu>
Date: Wed, 24 Jun 2026 11:53:37 +0200
Subject: [PATCH] xaiger: fix twines

---
 backends/aiger/xaiger.cc | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc
index 256087b51..0c1b74720 100644
--- a/backends/aiger/xaiger.cc
+++ b/backends/aiger/xaiger.cc
@@ -648,7 +648,8 @@ struct XAigerWriter
 				holes_design = it->second;
 			else
 				holes_design = nullptr;
-			RTLIL::Module *holes_module = holes_design ? holes_design->module(module->meta_->name) : nullptr;
+			RTLIL::Module *holes_module = holes_design ?
+					holes_design->module(holes_design->twines.add(std::string{module->name.str()})) : nullptr;
 			if (holes_module) {
 				std::stringstream a_buffer;
 				XAigerWriter writer(holes_module, false /* dff_mode */);