summaryrefslogtreecommitdiff
path: root/tests/fstar/betree_back_stateful
diff options
context:
space:
mode:
authorNadrieril2024-04-29 13:37:38 +0200
committerNadrieril2024-04-30 15:37:54 +0200
commit5209b9976107592802327bac30e8b98fbb9c2d2f (patch)
tree9e579a360d38b1a2f31cacc7429403fb39d691f0 /tests/fstar/betree_back_stateful
parentfead40d1fb6e9f7bed705e8d3048133cf59c3bb8 (diff)
Update charon
Diffstat (limited to 'tests/fstar/betree_back_stateful')
-rw-r--r--tests/fstar/betree_back_stateful/BetreeMain.Funs.fst2
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/fstar/betree_back_stateful/BetreeMain.Funs.fst b/tests/fstar/betree_back_stateful/BetreeMain.Funs.fst
index 89396df0..9942ef68 100644
--- a/tests/fstar/betree_back_stateful/BetreeMain.Funs.fst
+++ b/tests/fstar/betree_back_stateful/BetreeMain.Funs.fst
@@ -667,7 +667,7 @@ let betree_BeTree_lookup
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 *)
let main : result unit =
Ok ()