runtimeverification
diff --git a/‎…rove-rs/closure_fnonce_tuple_arg-fail.rs‎ ‎…ata/prove-rs/closure_fnonce_tuple_arg.rs‎kmir/src/tests/integration/data/prove-rs/closure_fnonce_tuple_arg-fail.rs renamed to kmir/src/tests/integration/data/prove-rs/closure_fnonce_tuple_arg.rs b/‎…rove-rs/closure_fnonce_tuple_arg-fail.rs‎ ‎…ata/prove-rs/closure_fnonce_tuple_arg.rs‎kmir/src/tests/integration/data/prove-rs/closure_fnonce_tuple_arg-fail.rs renamed to kmir/src/tests/integration/data/prove-rs/closure_fnonce_tuple_arg.rs
diff --git a/‎kmir/src/tests/integration/data/prove-rs/show/closure_fnonce_tuple_arg-fail.main.expected‎
Lines changed: 0 additions & 14 deletions b/‎kmir/src/tests/integration/data/prove-rs/show/closure_fnonce_tuple_arg-fail.main.expected‎
Lines changed: 0 additions & 14 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
@@ -63,7 +63,6 @@
     'ref-ptr-cast-elem-fail',
     'ref-ptr-cast-elem-offset-fail',
     'and_then_closure-fail',
-    'closure_fnonce_tuple_arg-fail',
 ]
Original file line number	Diff line number	Diff line change
`@@ -63,7 +63,6 @@`
`63`	`63`	`'ref-ptr-cast-elem-fail',`
`64`	`64`	`'ref-ptr-cast-elem-offset-fail',`
`65`	`65`	`'and_then_closure-fail',`
`66`		`- 'closure_fnonce_tuple_arg-fail',`
`67`	`66`	`]`
`68`	`67`
`69`	`68`