Update charon

1 files changed, 1 insertions, 1 deletions

diff --git a/tests/coq/traits/Traits.v b/tests/coq/traits/Traits.v
index 2469fbf7..b1fa353f 100644
--- a/tests/coq/traits/Traits.v
+++ b/tests/coq/traits/Traits.v
@@ -275,7 +275,7 @@ Definition toTypetraitsBoolWrapperT_to_type
 .
 
 (** 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 *)
 Definition ToTypetraitsBoolWrapperT (T : Type) (toTypeBoolTInst : ToType_t bool
   T) : ToType_t BoolWrapper_t T := {|
   ToType_t_to_type := toTypetraitsBoolWrapperT_to_type T toTypeBoolTInst;