From 082661f0d9d1bb1196ef8e1d57b3f2b4922b3d8e Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Tue, 18 Jun 2024 12:12:05 +0200
Subject: Bump charon

---
 tests/lean/Betree/Funs.lean | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'tests/lean/Betree')

diff --git a/tests/lean/Betree/Funs.lean b/tests/lean/Betree/Funs.lean
index 4592e91c..dd8dfb05 100644
--- a/tests/lean/Betree/Funs.lean
+++ b/tests/lean/Betree/Funs.lean
@@ -83,7 +83,7 @@ def betree.upsert_update
       else Result.ok 0#u64
 
 /- [betree::betree::{betree::betree::List<T>#1}::len]: loop 0:
-   Source: 'src/betree.rs', lines 276:4-284:5 -/
+   Source: 'src/betree.rs', lines 278:8-284:5 -/
 divergent def betree.List.len_loop
   (T : Type) (self : betree.List T) (len : U64) : Result U64 :=
   match self with
@@ -99,7 +99,7 @@ def betree.List.len (T : Type) (self : betree.List T) : Result U64 :=
   betree.List.len_loop T self 0#u64
 
 /- [betree::betree::{betree::betree::List<T>#1}::reverse]: loop 0:
-   Source: 'src/betree.rs', lines 304:4-312:5 -/
+   Source: 'src/betree.rs', lines 305:8-312:5 -/
 divergent def betree.List.reverse_loop
   (T : Type) (self : betree.List T) (out : betree.List T) :
   Result (betree.List T)
@@ -116,7 +116,7 @@ def betree.List.reverse
   betree.List.reverse_loop T self betree.List.Nil
 
 /- [betree::betree::{betree::betree::List<T>#1}::split_at]: loop 0:
-   Source: 'src/betree.rs', lines 287:4-302:5 -/
+   Source: 'src/betree.rs', lines 289:8-302:5 -/
 divergent def betree.List.split_at_loop
   (T : Type) (n : U64) (beg : betree.List T) (self : betree.List T) :
   Result ((betree.List T) × (betree.List T))
@@ -174,7 +174,7 @@ def betree.ListPairU64T.head_has_key
   | betree.List.Nil => Result.ok false
 
 /- [betree::betree::{betree::betree::List<(u64, T)>#2}::partition_at_pivot]: loop 0:
-   Source: 'src/betree.rs', lines 355:4-370:5 -/
+   Source: 'src/betree.rs', lines 358:8-370:5 -/
 divergent def betree.ListPairU64T.partition_at_pivot_loop
   (T : Type) (pivot : U64) (beg : betree.List (U64 × T))
   (end1 : betree.List (U64 × T)) (self : betree.List (U64 × T)) :
-- 
cgit v1.2.3