Skip to content

Commit 50d6d6f

Browse files
committed
Fix typo in README.md
1 parent f955d84 commit 50d6d6f

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

README.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -55,7 +55,7 @@ Interaction with the analyzer is primarily through the command-line interpreter
5555
```
5656
> chkc c-file parse <filename>
5757
> chkc c-file analyze <filename>
58-
> chkc c-file report-file <filename>
58+
> chkc c-file report <filename>
5959
```
6060
The first command preprocesses the file with `cc`; the preprocessed file (.i file)
6161
is then parsed with **parseFile** (a wrapper for goblint-cil,

0 commit comments

Comments
 (0)