From 86c48da94e08f3ddc11d36a3e76b1534b9150756 Mon Sep 17 00:00:00 2001
From: Son Ho <hosonmarc@gmail.com>
Date: Wed, 2 Oct 2024 14:32:41 +0200
Subject: [PATCH] Make a minor modification

---
 lib/AstOfLlbc.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/AstOfLlbc.ml b/lib/AstOfLlbc.ml
index 6885385..a13dca8 100644
--- a/lib/AstOfLlbc.ml
+++ b/lib/AstOfLlbc.ml
@@ -1835,7 +1835,7 @@ let decls_of_declarations (env : env) (d : C.declaration_group) : K.decl list =
   Krml.KList.filter_some @@ List.map (decl_of_id env) @@ declaration_group_to_list d
 
 let file_of_crate (crate : Charon.LlbcAst.crate) : Krml.Ast.file =
-  let { C.name; declarations; type_decls; fun_decls; global_decls; trait_decls; trait_impls; source_files = _ } =
+  let { C.name; declarations; type_decls; fun_decls; global_decls; trait_decls; trait_impls; _ } =
     crate
   in
   seen := 0;