diff options
Diffstat (limited to 'tests/lean/BetreeMain')
| -rw-r--r-- | tests/lean/BetreeMain/Funs.lean | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/lean/BetreeMain/Funs.lean b/tests/lean/BetreeMain/Funs.lean index f0032d51..7cc52159 100644 --- a/tests/lean/BetreeMain/Funs.lean +++ b/tests/lean/BetreeMain/Funs.lean @@ -702,7 +702,7 @@ def betree.BeTree.lookup Result.ok (st1, (o, { self with root := n })) /- [betree_main::main]: - Source: 'src/betree_main.rs', lines 5:0-5:9 -/ + Source: 'src/main.rs', lines 4:0-4:9 -/ def main : Result Unit := Result.ok () |