Make a minor modification

AeneasVerif · Oct 2, 2024 · 86c48da · 86c48da
1 parent 0ddc845
commit 86c48da
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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;