diff options
Diffstat (limited to 'kernel/driver.cc')
-rw-r--r-- | kernel/driver.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kernel/driver.cc b/kernel/driver.cc index ce40425d2..95835951e 100644 --- a/kernel/driver.cc +++ b/kernel/driver.cc @@ -217,7 +217,7 @@ int main(int argc, char **argv) printf(" print version information and exit\n"); printf("\n"); printf("The option -S is an shortcut for calling the \"synth\" command, a default\n"); - printf("script for transforming the verilog input to a gate-level netlist. For example:\n"); + printf("script for transforming the Verilog input to a gate-level netlist. For example:\n"); printf("\n"); printf(" yosys -o output.blif -S input.v\n"); printf("\n"); |