From 8dac27108efdb17313fbeb0a96b1eaae0ecaf2b7 Mon Sep 17 00:00:00 2001 From: Mohamed Gaber Date: Wed, 11 Sep 2024 21:39:37 +0300 Subject: [PATCH] Typos --- kernel/driver.cc | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/kernel/driver.cc b/kernel/driver.cc index 0e0a8fa7a..d30b19c96 100644 --- a/kernel/driver.cc +++ b/kernel/driver.cc @@ -305,12 +305,12 @@ int main(int argc, char **argv) printf(" execute the commands in the tcl script file (see 'help tcl' for details)\n"); printf("\n"); printf(" -C\n"); - printf(" enters TCL interatcive shell mode\n"); + printf(" enters TCL interactive shell mode\n"); #endif #ifdef WITH_PYTHON printf("\n"); printf(" -y python_scriptfile\n"); - printf(" execute the python script"); + printf(" execute a python script with libyosys available as a built-in module\n"); #endif printf("\n"); printf(" -p command\n");