diff options
author | Son Ho | 2023-09-03 19:41:03 +0200 |
---|---|---|
committer | Son Ho | 2023-09-03 19:41:03 +0200 |
commit | dfcbfab4030be2f03b159a4b298ed75ac2f236ae (patch) | |
tree | 4300dc6c3eab5680c7afd06441c743c33e3bc0c7 /compiler/ExtractBase.ml | |
parent | cce09bb0fb64b07b07613d7db59857651e040c20 (diff) |
Add the keep_fwd field in TranslateCore.pure_fun_translation
Diffstat (limited to 'compiler/ExtractBase.ml')
-rw-r--r-- | compiler/ExtractBase.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/ExtractBase.ml b/compiler/ExtractBase.ml index 7a21d42d..885467c2 100644 --- a/compiler/ExtractBase.ml +++ b/compiler/ExtractBase.ml @@ -663,7 +663,7 @@ type extraction_ctx = { (** If we are extracting a trait declaration, identifies it *) is_provided_method : bool; trans_types : Pure.type_decl Pure.TypeDeclId.Map.t; - trans_funs : (bool * pure_fun_translation) A.FunDeclId.Map.t; + trans_funs : pure_fun_translation A.FunDeclId.Map.t; functions_with_decreases_clause : PureUtils.FunLoopIdSet.t; trans_trait_decls : Pure.trait_decl Pure.TraitDeclId.Map.t; trans_trait_impls : Pure.trait_impl Pure.TraitImplId.Map.t; |