From 5209b9976107592802327bac30e8b98fbb9c2d2f Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Mon, 29 Apr 2024 13:37:38 +0200
Subject: Update charon

---
 tests/coq/betree/BetreeMain_Funs.v | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'tests/coq/betree/BetreeMain_Funs.v')

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.
 
-- 
cgit v1.2.3