From: Eddie Hung <eddie@fpgeh.com>
Date: Tue, 14 Apr 2020 15:03:58 +0000 (-0700)
Subject: xaiger: update help text
X-Git-Tag: working-ls180~549^2~53
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=f975cf39cbedbca0482109b7aa625570a3857ee6;p=yosys.git

xaiger: update help text
---

diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc
index 1006d56c6..b8d65de4e 100644
--- a/backends/aiger/xaiger.cc
+++ b/backends/aiger/xaiger.cc
@@ -762,10 +762,10 @@ struct XAigerBackend : public Backend {
 		log("    write_xaiger [options] [filename]\n");
 		log("\n");
 		log("Write the top module (according to the (* top *) attribute or if only one module\n");
-		log("is currently selected) to an XAIGER file. Any non $_NOT_, $_AND_, $_DFF_N_,\n");
-		log(" $_DFF_P_, or non (* abc9_box_id *) cells will be converted into psuedo-inputs and\n");
-		log("pseudo-outputs. Whitebox contents will be taken from the '<module-name>$holes'\n");
-		log("module, if it exists.\n");
+		log("is currently selected) to an XAIGER file. Any non $_NOT_, $_AND_, (optionally\n");
+		log("$_DFF_N_, $_DFF_P_), or non (* abc9_box *) cells will be converted into psuedo-\n");
+		log("inputs and pseudo-outputs. Whitebox contents will be taken from the\n");
+		log("'<module-name>$holes' module, if it exists.\n");
 		log("\n");
 		log("    -ascii\n");
 		log("        write ASCII version of AIGER format\n");