From ba2111ff8f4281e0be345380775cb7a43afa22e8 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Mon, 24 Jun 2024 10:37:32 +0200
Subject: Update charon

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

(limited to 'tests/fstar/traits')

diff --git a/tests/fstar/traits/Traits.fst b/tests/fstar/traits/Traits.fst
index 6b892d13..4d0d1c55 100644
--- a/tests/fstar/traits/Traits.fst
+++ b/tests/fstar/traits/Traits.fst
@@ -221,7 +221,7 @@ let toTypetraitsBoolWrapperT_to_type
   toTypeBoolTInst.to_type self
 
 (** Trait implementation: [traits::{(traits::ToType<T> for traits::BoolWrapper)#7}]
-    Source: 'tests/src/traits.rs', lines 153:0-153:33 *)
+    Source: 'tests/src/traits.rs', lines 153:0-155:20 *)
 let toTypetraitsBoolWrapperT (t : Type0) (toTypeBoolTInst : toType_t bool t) :
   toType_t boolWrapper_t t = {
   to_type = toTypetraitsBoolWrapperT_to_type t toTypeBoolTInst;
-- 
cgit v1.2.3