From: Eddie Hung Date: Fri, 19 Apr 2019 00:35:16 +0000 (-0700) Subject: Spelling X-Git-Tag: working-ls180~1237^2~186 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=b531efd6d9febe679571c897a8e22dbeaedeb96e;p=yosys.git Spelling --- diff --git a/backends/aiger/aiger.cc b/backends/aiger/aiger.cc index dfe506c66..516e538a5 100644 --- a/backends/aiger/aiger.cc +++ b/backends/aiger/aiger.cc @@ -685,7 +685,7 @@ struct AigerBackend : public Backend { log("invariant constraints.\n"); log("\n"); log(" -ascii\n"); - log(" write ASCII version of AGIER format\n"); + log(" write ASCII version of AIGER format\n"); log("\n"); log(" -zinit\n"); log(" convert FFs to zero-initialized FFs, adding additional inputs for\n");