diff options
| author | Son Ho | 2024-04-25 16:07:56 +0200 |
|---|---|---|
| committer | Son Ho | 2024-04-25 16:07:56 +0200 |
| commit | 078b7f59ddfcb12a7b4c69f0a51bfd57cb391ddf (patch) | |
| tree | ed45664329e24d1773be6c8bcaf827e2adbd3f65 /tests/lean/BetreeMain | |
| parent | 1728dced8484befe35ef61fdf4ccd62b93fbb19d (diff) | |
| parent | a3e38d5f47e4780768902e49e28e471e38efd40a (diff) | |
Merge branch 'main' into core-option-unwrap
Diffstat (limited to 'tests/lean/BetreeMain')
| -rw-r--r-- | tests/lean/BetreeMain/Funs.lean | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tests/lean/BetreeMain/Funs.lean b/tests/lean/BetreeMain/Funs.lean index 57b334fa..0c31b9bc 100644 --- a/tests/lean/BetreeMain/Funs.lean +++ b/tests/lean/BetreeMain/Funs.lean @@ -238,11 +238,11 @@ divergent def betree.Node.apply_upserts betree.Node.apply_upserts msgs1 (some v) key st else do - let v ← core.option.Option.unwrap U64 prev + let (st1, v) ← core.option.Option.unwrap U64 prev st let msgs1 ← betree.List.push_front (U64 × betree.Message) msgs (key, betree.Message.Insert v) - Result.ok (st, (v, msgs1)) + Result.ok (st1, (v, msgs1)) /- [betree_main::betree::{betree_main::betree::Internal#4}::lookup_in_children]: Source: 'src/betree.rs', lines 395:4-395:63 -/ |