fix typo

model-checking · Dec 19, 2024 · 99c960a · 99c960a
1 parent cb50364
commit 99c960a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/scripts/run-kani.sh b/scripts/run-kani.sh
@@ -295,7 +295,7 @@ main() {
         fi
     elif [[ "$run_command" == "list" ]]; then
         echo "Running Kani list command..."
-        "$kani_path" list -Z list $unstable_flags ./library --std --format markdown
+        "$kani_path" list -Z list $unstable_args ./library --std --format markdown
     fi
 }