From d88ed5fa345bc9808a850f47bcf598daba923bda Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Mon, 17 Jun 2024 20:13:52 +0200
Subject: Regenerate the tests

---
 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 0dd692fe..c95037b1 100644
--- a/tests/lean/Traits.lean
+++ b/tests/lean/Traits.lean
@@ -512,7 +512,7 @@ structure Foo (T U : Type) where
   y : U
 
 /- [core::result::Result]
-   Source: '/rustc/65ea825f4021eaf77f1b25139969712d65b435a4/library/core/src/result.rs', lines 502:0-502:21
+   Source: '/rustc/library/core/src/result.rs', lines 502:0-502:21
    Name pattern: core::result::Result -/
 inductive core.result.Result (T E : Type) :=
 | Ok : T → core.result.Result T E
-- 
cgit v1.2.3

