latch -> box

This commit is contained in:
Eddie Hung 2019-11-26 22:59:05 -08:00
parent 15042eaf57
commit 5e67df38ed
1 changed files with 1 additions and 1 deletions

View File

@ -816,7 +816,7 @@ struct XAigerBackend : public Backend {
log(" write ASCII version of AIGER format\n");
log("\n");
log(" -map <filename>\n");
log(" write an extra file with port and latch symbols\n");
log(" write an extra file with port and box symbols\n");
log("\n");
log(" -vmap <filename>\n");
log(" like -map, but more verbose\n");