Fixed up help text in debug command shell PiperOrigin-RevId: 708065890 Change-Id: Icf5329d51bd834f6421929d7819316444f83c0db
diff --git a/cheriot/debug_command_shell.cc b/cheriot/debug_command_shell.cc index 1576d76..d75b384 100644 --- a/cheriot/debug_command_shell.cc +++ b/cheriot/debug_command_shell.cc
@@ -195,7 +195,6 @@ exec NAME - load commands from file 'NAME' and execute each line as a command. Lines starting with a '#' are treated as comments. - status - display current status. help - display this message. Special names: