From 9ed4c9d710e8ffc9bc33ecfe8f5650fc45cf5bc2 Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Sun, 28 May 2017 11:31:35 +0200 Subject: Improve write_aiger handling of unconnected nets and constants --- passes/cmds/setundef.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'passes') diff --git a/passes/cmds/setundef.cc b/passes/cmds/setundef.cc index e54135c8f..03a5a123f 100644 --- a/passes/cmds/setundef.cc +++ b/passes/cmds/setundef.cc @@ -64,7 +64,7 @@ struct SetundefPass : public Pass { log("\n"); log(" setundef [options] [selection]\n"); log("\n"); - log("This command replaced undef (x) constants with defined (0/1) constants.\n"); + log("This command replaces undef (x) constants with defined (0/1) constants.\n"); log("\n"); log(" -undriven\n"); log(" also set undriven nets to constant values\n"); -- cgit v1.2.3