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