Fix syntax

Author: tautschnig

scripts/run-kani.sh

@@ -336,7 +336,7 @@ main() {
         echo "Running autoharness-analyzer command..."
         git clone --depth 1 https://github.com/carolynzech/autoharness_analyzer
         cd autoharness_analyzer
-        cargo run --per-crate \
+        cargo run -- --per-crate \
           ../target/kani_verify_std/target/x86_64-unknown-linux-gnu/debug/deps/ \
           /tmp/std_lib_analysis/results/
     fi