From 64f7e5fe525922faaebd5e1b7a657926ec6487e5 Mon Sep 17 00:00:00 2001
From: Justus Adam <justbldr@amazon.com>
Date: Tue, 21 Nov 2023 14:16:23 -0800
Subject: [PATCH] Fix simlpe havoc

---
 library/kani_macros/src/sysroot/contracts.rs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/library/kani_macros/src/sysroot/contracts.rs b/library/kani_macros/src/sysroot/contracts.rs
index 26e2c855d533..3cccc2509d4c 100644
--- a/library/kani_macros/src/sysroot/contracts.rs
+++ b/library/kani_macros/src/sysroot/contracts.rs
@@ -603,10 +603,10 @@ impl<'a> ContractConditionsHandler<'a> {
                 )
             }
             ContractConditionsData::Modifies { attr } => {
-                let args = make_wrapper_args(attr.len());
                 quote!(
                     let result = #call_to_prior;
-                    #(*#args = kani::any();)*
+                    #(*#attr = kani::any();)*
+                    result
                 )
             }
         }