diff options
| author | Sidney Congard | 2022-06-08 12:32:14 +0200 |
|---|---|---|
| committer | Sidney Congard | 2022-06-08 12:32:14 +0200 |
| commit | ba61ed50e7b2fdc78690de92d734a3747029f903 (patch) | |
| tree | d038735ea4a263f80e1752661c1c707d21810f28 /src/PrintPure.ml | |
| parent | 1b3f5a15aaabf5810f07797550d1a19a55b6be3c (diff) | |
read globals from LLBC JSON into functions
Diffstat (limited to '')
| -rw-r--r-- | src/PrintPure.ml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/PrintPure.ml b/src/PrintPure.ml index 5e817dde..8864dafe 100644 --- a/src/PrintPure.ml +++ b/src/PrintPure.ml @@ -2,6 +2,7 @@ open Pure open PureUtils +open FunIdentifier module T = Types module V = Values module E = Expressions @@ -12,7 +13,6 @@ module RegionId = T.RegionId module VariantId = T.VariantId module FieldId = T.FieldId module SymbolicValueId = V.SymbolicValueId -module FunDeclId = A.FunDeclId type type_formatter = { type_var_id_to_string : TypeVarId.id -> string; @@ -44,7 +44,7 @@ type ast_formatter = { adt_field_to_string : TypeDeclId.id -> VariantId.id option -> FieldId.id -> string option; adt_field_names : TypeDeclId.id -> VariantId.id option -> string list option; - fun_decl_id_to_string : A.FunDeclId.id -> string; + fun_decl_id_to_string : FunDeclId.id -> string; } let ast_to_value_formatter (fmt : ast_formatter) : value_formatter = @@ -110,7 +110,7 @@ let mk_ast_formatter (type_decls : T.type_decl TypeDeclId.Map.t) Print.LlbcAst.type_ctx_to_adt_field_to_string_fun type_decls in let fun_decl_id_to_string def_id = - let def = A.FunDeclId.Map.find def_id fun_decls in + let def = FunDeclId.Map.find def_id fun_decls in fun_name_to_string def.name in { |