From: Eddie Hung Date: Wed, 27 Nov 2019 06:59:05 +0000 (-0800) Subject: latch -> box X-Git-Tag: working-ls180~945^2 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=5e67df38edf5207a9b816946b094448cd6a52f88;p=yosys.git latch -> box --- diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc index 9e5d44470..a77949b4f 100644 --- a/backends/aiger/xaiger.cc +++ b/backends/aiger/xaiger.cc @@ -816,7 +816,7 @@ struct XAigerBackend : public Backend { log(" write ASCII version of AIGER format\n"); log("\n"); log(" -map \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 \n"); log(" like -map, but more verbose\n");