From 50d6d6f99f64f52530f6a26de32020e12b60adc2 Mon Sep 17 00:00:00 2001
From: Ben Karel <bkarel@aarno-labs.com>
Date: Thu, 23 Oct 2025 20:16:16 -0400
Subject: [PATCH] Fix typo in README.md

---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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 <filename>
    > chkc c-file analyze <filename>
-   > chkc c-file report-file <filename>
+   > chkc c-file report <filename>
    ```
    The first command preprocesses the file with `cc`; the preprocessed file (.i file)
    is then parsed with **parseFile** (a wrapper for goblint-cil,