From 71a1ab3e2fa9581314328b4fdb7aa2ca3caa4e20 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Thu, 23 May 2024 10:42:54 +0200
Subject: Bump charon version

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

(limited to 'tests/coq/traits/Traits.v')

diff --git a/tests/coq/traits/Traits.v b/tests/coq/traits/Traits.v
index fb37a507..18b06bc1 100644
--- a/tests/coq/traits/Traits.v
+++ b/tests/coq/traits/Traits.v
@@ -669,7 +669,7 @@ Arguments foo_x { _ _ }.
 Arguments foo_y { _ _ }.
 
 (** [core::result::Result]
-    Source: '/rustc/d59363ad0b6391b7fc5bbb02c9ccf9300eef3753/library/core/src/result.rs', lines 502:0-502:21
+    Source: '/rustc/ad963232d9b987d66a6f8e6ec4141f672b8b9900/library/core/src/result.rs', lines 502:0-502:21
     Name pattern: core::result::Result *)
 Inductive core_result_Result_t (T E : Type) :=
 | Core_result_Result_Ok : T -> core_result_Result_t T E
-- 
cgit v1.2.3