diff --git a/doc/api/cli.md b/doc/api/cli.md index 7703d0b6bd99d2..6019c84bb0e1af 100644 --- a/doc/api/cli.md +++ b/doc/api/cli.md @@ -54,7 +54,7 @@ the next argument will be used as a script filename. ### `--abort-on-uncaught-exception` Aborting instead of exiting causes a core file to be generated for post-mortem