read_aiger: discard LUT inputs with nodeID == 0; not < 2

diff --git a/frontends/aiger/aigerparse.cc b/frontends/aiger/aigerparse.cc
index 52bcfa0b6b13207097d0a333a3c73fbf50685681..e7478c3164cd79f5f0a6a20b2c920948bcddaf3b 100644 (file)
--- a/frontends/aiger/aigerparse.cc
+++ b/frontends/aiger/aigerparse.cc
@@ -414,7 +414,7 @@ void AigerReader::parse_xaiger()
                                for (unsigned j = 0; j < cutLeavesM; ++j) {
                                        nodeID = parse_xaiger_literal(f);
                                        log_debug2("\t%u\n", nodeID);
-                                       if (nodeID < 2) {
+                                       if (nodeID == 0) {
                                                log_debug("\tLUT '$lut$aiger%d$%d' input %d is constant!\n", aiger_autoidx, rootNodeID, cutLeavesM);
                                                continue;
                                        }