From 2633485c8fb8b8c9164f7bd0f75b11882b76b5a2 Mon Sep 17 00:00:00 2001
From: "Emil J. Tywoniak" <emil@tywoniak.eu>
Date: Wed, 7 Jan 2026 21:50:34 +0100
Subject: [PATCH] fix

---
 frontends/aiger/aigerparse.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/frontends/aiger/aigerparse.cc b/frontends/aiger/aigerparse.cc
index 4b0f50a38..b02f5bdc2 100644
--- a/frontends/aiger/aigerparse.cc
+++ b/frontends/aiger/aigerparse.cc
@@ -475,8 +475,8 @@ void AigerReader::parse_xaiger()
 			std::deque<Lut> deferred;
 			for (unsigned i = 0; i < lutNum; ++i) {
 				Lut lut;
-				lut.name = stringf("$aiger%d$%d", aiger_autoidx, lut.output);
 				lut.output = parse_xaiger_literal(f);
+				lut.name = stringf("$aiger%d$%d", aiger_autoidx, lut.output);
 				while (lut_defined.size() < lut.output + 1)
 					lut_defined.push_back(false);
 				lut_defined[lut.output] = true;