diff --git a/kani-compiler/src/codegen_cprover_gotoc/compiler_interface.rs b/kani-compiler/src/codegen_cprover_gotoc/compiler_interface.rs
index 4dd8b6c95bdd..9b9bf4fa3f33 100644
--- a/kani-compiler/src/codegen_cprover_gotoc/compiler_interface.rs
+++ b/kani-compiler/src/codegen_cprover_gotoc/compiler_interface.rs
@@ -252,10 +252,10 @@ impl CodegenBackend for GotocCodegenBackend {
                         );
                         results.extend(gcx, items, None);
                         if let Some(assigns_contract) = contract_info {
-                            self.queries
-                                .lock()
-                                .unwrap()
-                                .add_modifies_contract(canonical_mangled_name(harness).intern(), assigns_contract);
+                            self.queries.lock().unwrap().add_modifies_contract(
+                                canonical_mangled_name(harness).intern(),
+                                assigns_contract,
+                            );
                         }
                     }
                 }