Update kani-compiler/src/codegen_cprover_gotoc/codegen/statement.rs

model-checking · Feb 22, 2024 · 9659c8d · 9659c8d
1 parent cfead17
commit 9659c8d
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/kani-compiler/src/codegen_cprover_gotoc/codegen/statement.rs b/kani-compiler/src/codegen_cprover_gotoc/codegen/statement.rs
@@ -433,7 +433,6 @@ impl<'tcx> GotocCtx<'tcx> {
     /// However, Rust generates a function where the tuple of parameters are flattened
     /// as subsequent parameters.
     ///
-    /// See [GotocCtx::ty_needs_untupled_args] for more details.
     fn codegen_untupled_args(&mut self, op: &Operand, args_abi: &[ArgAbi]) -> Vec<Expr> {
         let tuple_ty = self.operand_ty_stable(op);
         let tuple_expr = self.codegen_operand_stable(op);