revert space changes

Cargo.toml

@@ -36,35 +36,35 @@ strip = "debuginfo"
 
 [workspace]
 members = [
-    "library/kani",
-    "library/std",
-    "tools/compiletest",
-    "tools/build-kani",
-    "kani-driver",
-    "kani-compiler",
-    "kani_metadata",
+  "library/kani",
+  "library/std",
+  "tools/compiletest",
+  "tools/build-kani",
+  "kani-driver",
+  "kani-compiler",
+  "kani_metadata",
 ]
 
 # This indicates what package to e.g. build with 'cargo build' without --workspace
 default-members = [
-    ".",
-    "kani-driver",
-    "kani-compiler",
+  ".",
+  "kani-driver",
+  "kani-compiler",
 ]
 
 exclude = [
-    "build",
-    "target",
-    # dependency tests have their own workspace
-    "tests/kani-dependency-test/dependency3",
-    # cargo kani tests should also have their own workspace
-    "tests/cargo-kani",
-    "tests/perf",
-    "tests/cargo-ui",
-    "tests/slow",
-    "tests/std-checks",
-    "tests/assess-scan-test-scaffold",
-    "tests/script-based-pre",
-    "tests/script-based-pre/build-cache-bin/target/new_dep",
-    "tests/script-based-pre/build-cache-dirty/target/new_dep",
+  "build",
+  "target",
+  # dependency tests have their own workspace
+  "tests/kani-dependency-test/dependency3",
+  # cargo kani tests should also have their own workspace
+  "tests/cargo-kani",
+  "tests/perf",
+  "tests/cargo-ui",
+  "tests/slow",
+  "tests/std-checks",
+  "tests/assess-scan-test-scaffold",
+  "tests/script-based-pre",
+  "tests/script-based-pre/build-cache-bin/target/new_dep",
+  "tests/script-based-pre/build-cache-dirty/target/new_dep",
 ]