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"