From e4b24e8200a528d98f75f3283f26720841cff233 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Martin=20Povi=C5=A1er?= Date: Wed, 11 Sep 2024 21:08:57 +0200 Subject: [PATCH] aiger2: Fix literal typing --- 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 bc22dac94..0c787f11d 100644 --- a/backends/aiger2/aiger.cc +++ b/backends/aiger2/aiger.cc @@ -413,7 +413,7 @@ struct Index { } }; - int visit(HierCursor &cursor, SigBit bit) + Lit visit(HierCursor &cursor, SigBit bit) { if (!bit.wire) { if (bit == State::S1)