diff --git a/doc/api/cli.md b/doc/api/cli.md index 673a3d5a75fbd6..94c49f41784a91 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