Fix formatting

viperproject · Feb 26, 2024 · db83b27 · db83b27
1 parent eabd2f5
commit db83b27
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/prusti/src/driver.rs b/prusti/src/driver.rs
@@ -93,7 +93,10 @@ fn main() {
     // This environment variable will not be set when building dependencies.
     let is_primary_package = env::var("CARGO_PRIMARY_PACKAGE").is_ok();
 
-    if config::be_rustc() || build_script_build || (!is_primary_package && config::ignore_deps_contracts()) {
+    if config::be_rustc()
+        || build_script_build
+        || (!is_primary_package && config::ignore_deps_contracts())
+    {
         driver::main();
     }