Formatting

model-checking · Jan 31, 2024 · 0a4503a · 0a4503a
1 parent 4bd7583
commit 0a4503a
Showing 1 changed file with 4 additions and 4 deletions.
diff --git 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,
+ );
  }
  }
  }