diff --git a/README.md b/README.md index 84c4e93..5672e0b 100644 --- a/README.md +++ b/README.md @@ -55,7 +55,7 @@ Interaction with the analyzer is primarily through the command-line interpreter ``` > chkc c-file parse > chkc c-file analyze - > chkc c-file report-file + > chkc c-file report ``` The first command preprocesses the file with `cc`; the preprocessed file (.i file) is then parsed with **parseFile** (a wrapper for goblint-cil,