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");