diff options
| author | Son HO | 2023-11-29 14:16:53 +0100 |
|---|---|---|
| committer | GitHub | 2023-11-29 14:16:53 +0100 |
| commit | 90e42e0e1c1889aabfa66283fb15b43a5852a02a (patch) | |
| tree | 74d689a75e0e30402fcc545d2ac31474bfc6022c /tests/lean/Traits.lean | |
| parent | b78850a81dfea78bc280f1b5b6d2fdcb421e386a (diff) | |
| parent | bf355187af124706553dbb58ad43bbdbcbbe3acb (diff) | |
Merge pull request #47 from AeneasVerif/son_panics
Update following some changes in Charon
Diffstat (limited to 'tests/lean/Traits.lean')
| -rw-r--r-- | tests/lean/Traits.lean | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/tests/lean/Traits.lean b/tests/lean/Traits.lean index e7795d9c..653384d6 100644 --- a/tests/lean/Traits.lean +++ b/tests/lean/Traits.lean @@ -468,9 +468,4 @@ structure CFn (Self Args : Type) where call_mut : Self → Args → Result CFnMutSelfArgsInst.CFnOnceSelfArgsInst.Output -/- [traits::incr_u32]: forward function - Source: 'src/traits.rs', lines 300:0-300:30 -/ -def incr_u32 (x : U32) : Result U32 := - x + 1#u32 - end traits |