runtimeverification
diff --git a/‎…a/prove-rs/closure_access_struct-fail.rs‎ ‎…n/data/prove-rs/closure_access_struct.rs‎kmir/src/tests/integration/data/prove-rs/closure_access_struct-fail.rs renamed to kmir/src/tests/integration/data/prove-rs/closure_access_struct.rs b/‎…a/prove-rs/closure_access_struct-fail.rs‎ ‎…n/data/prove-rs/closure_access_struct.rs‎kmir/src/tests/integration/data/prove-rs/closure_access_struct-fail.rs renamed to kmir/src/tests/integration/data/prove-rs/closure_access_struct.rs
diff --git a/‎kmir/src/tests/integration/data/prove-rs/show/closure_access_struct-fail.main.expected‎
Lines changed: 0 additions & 17 deletions b/‎kmir/src/tests/integration/data/prove-rs/show/closure_access_struct-fail.main.expected‎
Lines changed: 0 additions & 17 deletions
diff --git a/‎kmir/src/tests/integration/test_integration.py‎
Lines changed: 0 additions & 1 deletion b/‎kmir/src/tests/integration/test_integration.py‎
Lines changed: 0 additions & 1 deletion
@@ -64,7 +64,6 @@
     'ref-ptr-cast-elem-fail',
     'ref-ptr-cast-elem-offset-fail',
     'and_then_closure-fail',
-    'closure_access_struct-fail',
 ]
Original file line number	Diff line number	Diff line change
`@@ -64,7 +64,6 @@`
`64`	`64`	`'ref-ptr-cast-elem-fail',`
`65`	`65`	`'ref-ptr-cast-elem-offset-fail',`
`66`	`66`	`'and_then_closure-fail',`
`67`		`- 'closure_access_struct-fail',`
`68`	`67`	`]`
`69`	`68`
`70`	`69`