Fixed formatting

tlaplus-community · Jan 19, 2023 · 653a483 · 653a483
1 parent 553bf4d
commit 653a483
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/tests/corpus_tests.rs b/tests/corpus_tests.rs
@@ -32,9 +32,7 @@ mod corpus_tests {
     #[test]
     fn roundtrip_all_example_specs() {
         let start = Instant::now();
-        let skip: Vec<&str> = vec![
-            "SomeSpecName.tla"
-        ];
+        let skip: Vec<&str> = vec!["SomeSpecName.tla"];
         println!("SKIPPING {:?}", skip);
         let skip: Vec<&OsStr> = skip.iter().map(|s| OsStr::new(s)).collect();
         let paths: Vec<PathBuf> = glob("tests/corpus/**/*.tla")