From 6cd7c5131a74f2beae1459792a88983ee82b6ef9 Mon Sep 17 00:00:00 2001
From: "Emil J. Tywoniak" <emil@tywoniak.eu>
Date: Wed, 26 Nov 2025 00:14:12 +0100
Subject: [PATCH] aiger2: add TODO

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

diff --git a/backends/aiger2/aiger.cc b/backends/aiger2/aiger.cc
index 41e1b91c1..0b2f06959 100644
--- a/backends/aiger2/aiger.cc
+++ b/backends/aiger2/aiger.cc
@@ -44,6 +44,8 @@ PRIVATE_NAMESPACE_BEGIN
 // TODO
 //#define ARITH_OPS ID($add), ID($sub), ID($neg)
 
+// TODO convert to newcelltypes
+
 #define KNOWN_OPS BITWISE_OPS, REDUCE_OPS, LOGIC_OPS, GATE_OPS, ID($pos), CMP_OPS, \
 				  ID($pmux), ID($bmux) /*, ARITH_OPS*/