diff options
-rw-r--r-- | passes/techmap/abc.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/passes/techmap/abc.cc b/passes/techmap/abc.cc index 341e65ddc..d0f772be4 100644 --- a/passes/techmap/abc.cc +++ b/passes/techmap/abc.cc @@ -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"); |