runtimeverification
diff --git a/‎kmir/src/tests/integration/data/prove-rs/show/interior-mut.main.expected‎
Lines changed: 0 additions & 17 deletions b/‎kmir/src/tests/integration/data/prove-rs/show/interior-mut.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
@@ -46,7 +46,6 @@
 ]
 PROVE_SHOW_SPECS = [
     'local-raw-fail',
-    'interior-mut',
     'interior-mut3-fail',
     'iter_next_3',
     'assert_eq_exp',
Original file line number	Diff line number	Diff line change
`@@ -46,7 +46,6 @@`
`46`	`46`	`]`
`47`	`47`	`PROVE_SHOW_SPECS = [`
`48`	`48`	`'local-raw-fail',`
`49`		`- 'interior-mut',`
`50`	`49`	`'interior-mut3-fail',`
`51`	`50`	`'iter_next_3',`
`52`	`51`	`'assert_eq_exp',`