Update replace.rs

model-checking · Jul 10, 2024 · e038b0f · e038b0f
1 parent 0bd765e
commit e038b0f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/library/kani_macros/src/sysroot/contracts/replace.rs b/library/kani_macros/src/sysroot/contracts/replace.rs
@@ -154,7 +154,7 @@ fn is_replace_return_havoc(stmt: &syn::Stmt) -> bool {
             })
             if path.segments.len() == 2
             && path.segments[0].ident == "kani"
-            && path.segments[2].ident == "any_modifies"
+            && path.segments[1].ident == "any_modifies"
             && attrs.is_empty()
         )
     )