From 608baeb4ab97249029ab4bbf41d77985af7974b5 Mon Sep 17 00:00:00 2001 From: Qinheping Hu Date: Fri, 20 Sep 2024 12:12:31 -0500 Subject: [PATCH] Fix format --- kani-compiler/src/codegen_cprover_gotoc/overrides/hooks.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/kani-compiler/src/codegen_cprover_gotoc/overrides/hooks.rs b/kani-compiler/src/codegen_cprover_gotoc/overrides/hooks.rs index ff3fe01711bb..4d998a1498d8 100644 --- a/kani-compiler/src/codegen_cprover_gotoc/overrides/hooks.rs +++ b/kani-compiler/src/codegen_cprover_gotoc/overrides/hooks.rs @@ -547,7 +547,7 @@ impl GotocHook for InitContracts { /// is the closure wrapping loop invariants /// 2. is the last statement in some loop, so that its `target`` is /// the head of the loop -/// +/// /// Such call will be translate to /// ```c /// goto target