From 598f6c9de901b989491982335b309af429e0408b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Martin=20Povi=C5=A1er?= <povik@cutebit.org>
Date: Sat, 26 Oct 2024 08:53:37 +0200
Subject: [PATCH] aiger2: Fix open-coded constants

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

diff --git a/backends/aiger2/aiger.cc b/backends/aiger2/aiger.cc
index 3fc6ccdba..a230cda4f 100644
--- a/backends/aiger2/aiger.cc
+++ b/backends/aiger2/aiger.cc
@@ -387,7 +387,7 @@ struct Index {
 					if (/* 4 input types */ cell->type.in(ID($_AOI4_), ID($_OAI4_)))
 						d = visit(cursor, cell->getPort(ID::D)[obit]);
 					else
-						d = cell->type == ID($_AOI3_) ? 1 : 0;
+						d = cell->type == ID($_AOI3_) ? CTRUE : CFALSE;
 
 					if (/* aoi */ cell->type.in(ID($_AOI3_), ID($_AOI4_)))
 						return NOT(OR(AND(a, b), AND(c, d)));