From f098352ae6d0a8947df74f6a714954bb7f105f9f Mon Sep 17 00:00:00 2001
From: Mike Inouye <mikeinouye@google.com>
Date: Fri, 21 Nov 2025 14:23:32 -0800
Subject: [PATCH] Enable xaiger2 pass when not in NDEBUG

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

diff --git a/frontends/aiger2/xaiger.cc b/frontends/aiger2/xaiger.cc
index d983f8c41..510da0be8 100644
--- a/frontends/aiger2/xaiger.cc
+++ b/frontends/aiger2/xaiger.cc
@@ -110,7 +110,8 @@ struct Xaiger2Frontend : public Frontend {
 		for (int i = 0; i < (int) O; i++) {
 			int po;
 			*f >> po;
-			log_assert(f->get() == '\n');
+			int c = f->get();
+			log_assert(c == '\n');
 			outputs.push_back(po);
 		}