diff options
| author | Son Ho | 2024-06-17 07:15:26 +0200 |
|---|---|---|
| committer | Son Ho | 2024-06-17 07:15:26 +0200 |
| commit | 1021cdea98043dd935dbc8dbe633b90fda68047d (patch) | |
| tree | dc2f420cf5167690da9dfebe358ba56bf05e1b1e /tests/lean/InfiniteLoop.lean | |
| parent | f4739fba4be95818ca01776837c8d610e443a45b (diff) | |
Update the tests
Diffstat (limited to 'tests/lean/InfiniteLoop.lean')
| -rw-r--r-- | tests/lean/InfiniteLoop.lean | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tests/lean/InfiniteLoop.lean b/tests/lean/InfiniteLoop.lean index 9eb8e22c..b8c2343e 100644 --- a/tests/lean/InfiniteLoop.lean +++ b/tests/lean/InfiniteLoop.lean @@ -19,7 +19,7 @@ divergent def foo_loop : Result Unit := /- [infinite_loop::foo]: Source: 'tests/src/infinite-loop.rs', lines 6:0-6:8 -/ -def foo : Result Unit := - foo_loop +@[reducible] def foo : Result Unit := + foo_loop end infinite_loop |