runtimeverification
diff --git a/‎kmir/src/tests/integration/data/prove-rs/show/closure_access_struct.main.expected‎
Lines changed: 0 additions & 17 deletions b/‎kmir/src/tests/integration/data/prove-rs/show/closure_access_struct.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
@@ -50,7 +50,6 @@
     'checked_arithmetic-fail',
     'offset-u8-fail',
     'pointer-cast-length-test-fail',
-    'closure_access_struct',
     'niche-enum',
     'assume-cheatcode-conflict-fail',
 ]
Original file line number	Diff line number	Diff line change
`@@ -50,7 +50,6 @@`
`50`	`50`	`'checked_arithmetic-fail',`
`51`	`51`	`'offset-u8-fail',`
`52`	`52`	`'pointer-cast-length-test-fail',`
`53`		`- 'closure_access_struct',`
`54`	`53`	`'niche-enum',`
`55`	`54`	`'assume-cheatcode-conflict-fail',`
`56`	`55`	`]`