diff options
| author | Nadrieril | 2024-04-29 13:37:38 +0200 |
|---|---|---|
| committer | Nadrieril | 2024-04-30 15:37:54 +0200 |
| commit | 5209b9976107592802327bac30e8b98fbb9c2d2f (patch) | |
| tree | 9e579a360d38b1a2f31cacc7429403fb39d691f0 /tests/coq/betree/BetreeMain_Funs.v | |
| parent | fead40d1fb6e9f7bed705e8d3048133cf59c3bb8 (diff) | |
Update charon
Diffstat (limited to 'tests/coq/betree/BetreeMain_Funs.v')
| -rw-r--r-- | tests/coq/betree/BetreeMain_Funs.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/coq/betree/BetreeMain_Funs.v b/tests/coq/betree/BetreeMain_Funs.v index c31713be..e0a1d8a2 100644 --- a/tests/coq/betree/BetreeMain_Funs.v +++ b/tests/coq/betree/BetreeMain_Funs.v @@ -827,7 +827,7 @@ Definition betree_BeTree_lookup . (** [betree_main::main]: - Source: 'src/betree_main.rs', lines 5:0-5:9 *) + Source: 'src/main.rs', lines 4:0-4:9 *) Definition main : result unit := Ok tt. |