From c00d337f48cbaf56a5b81f396c2f18ae811aee5a Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Wed, 26 Jun 2024 16:24:27 +0200
Subject: Update charon

---
 tests/lean/Traits.lean | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'tests/lean/Traits.lean')

diff --git a/tests/lean/Traits.lean b/tests/lean/Traits.lean
index 4ea6e78f..b220042f 100644
--- a/tests/lean/Traits.lean
+++ b/tests/lean/Traits.lean
@@ -515,7 +515,7 @@ structure Foo (T U : Type) where
   y : U
 
 /- [core::result::Result]
-   Source: '/rustc/library/core/src/result.rs', lines 502:0-502:21
+   Source: '/rustc/library/core/src/result.rs', lines 527:0-527:21
    Name pattern: core::result::Result -/
 inductive core.result.Result (T E : Type) :=
 | Ok : T → core.result.Result T E
-- 
cgit v1.2.3