From d4e009fc2f7152cd3c26f7776c711745a5a90257 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Martin=20Povi=C5=A1er?= <povik@cutebit.org>
Date: Wed, 2 Oct 2024 11:28:19 +0200
Subject: [PATCH] aiger2: Add TODO

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

diff --git a/backends/aiger2/aiger.cc b/backends/aiger2/aiger.cc
index 6af7b0948..89ef06a37 100644
--- a/backends/aiger2/aiger.cc
+++ b/backends/aiger2/aiger.cc
@@ -20,6 +20,7 @@
 // TODOs:
 //  - gracefully handling inout ports (an error message probably)
 //  - undriven wires
+//  - zero-width operands
 
 #include "kernel/register.h"
 #include "kernel/celltypes.h"