remove issue 2732

model-checking · Sep 3, 2024 · cb79bdb · cb79bdb
1 parent d596329
commit cb79bdb
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 19 deletions.
diff --git a/tests/expected/issue-2732/issue_2732.expected b/tests/expected/issue-2732/issue_2732.expected
diff --git a/tests/expected/issue-2732/issue_2732.rs b/tests/expected/issue-2732/issue_2732.rs