Update charon

AeneasVerif · Jan 7, 2025 · d68b11a · d68b11a
1 parent 9baecae
commit d68b11a
Show file tree

Hide file tree

Showing 3 changed files with 9 additions and 10 deletions.
diff --git a/charon-pin b/charon-pin
@@ -1,2 +1,2 @@
 # This is the commit from https://github.com/AeneasVerif/charon that should be used with this version of aeneas.
-5984bd9b25b01afad4762efc250220bb969e59d4
+8a17efc262ef3af377ab172efc865edcf1bb40ea
diff --git a/flake.lock b/flake.lock
diff --git a/src/interp/InterpreterStatements.ml b/src/interp/InterpreterStatements.ml
@@ -738,8 +738,7 @@ let eval_transparent_function_call_symbolic_inst (span : Meta.span)
                   let fn_ref =
                     Option.get
                       (Substitute.lookup_and_subst_trait_decl_provided_method
-                         trait_decl method_name trait_decl_ref.decl_generics
-                         func.generics)
+                         trait_decl method_name trait_ref func.generics)
                   in
                   let method_id = fn_ref.fun_id in
                   let method_def = ctx_lookup_fun_decl ctx method_id in
@@ -772,7 +771,7 @@ let eval_transparent_function_call_symbolic_inst (span : Meta.span)
               let fn_ref =
                 Option.get
                   (Substitute.lookup_and_subst_trait_decl_method trait_decl
-                     method_name trait_decl_ref.decl_generics func.generics)
+                     method_name trait_ref func.generics)
               in
               let method_id = fn_ref.fun_id in
               let generics = fn_ref.fun_generics in