diff --git a/prusti/src/driver.rs b/prusti/src/driver.rs
index 393052f3678..73036b46ac9 100644
--- 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();
     }