Fix typo in "abc" pass help message

This commit is contained in:
Clifford Wolf 2017-07-29 16:21:58 +02:00
parent 15073790bf
commit 5c09f24e48
1 changed files with 1 additions and 1 deletions

View File

@ -1341,7 +1341,7 @@ struct AbcPass : public Pass {
log(" simple: AND OR XOR MUX\n");
log(" cmos2: NAND NOR\n");
log(" cmos3: NAND NOR AOI3 OAI3\n");
log(" cmos: NAND NOR AOI3 OAI3 AOI4 OAI4\n");
log(" cmos4: NAND NOR AOI3 OAI3 AOI4 OAI4\n");
log(" gates: AND NAND OR NOR XOR XNOR ANDNOT ORNOT\n");
log(" aig: AND NAND OR NOR ANDNOT ORNOT\n");
log("\n");