diff options
| author | Son Ho | 2022-01-28 01:52:58 +0100 |
|---|---|---|
| committer | Son Ho | 2022-01-28 01:52:58 +0100 |
| commit | dc9d2c64bc2948bfdff78f1d2abae45ec9b4972c (patch) | |
| tree | c7dba718348778a47003c1a99717ed61f97ff5e3 /src/SymbolicToPure.ml | |
| parent | 3af881c9a5c8935e2238509d3447ec42e29b8404 (diff) | |
Make a lot of small modifications
Diffstat (limited to 'src/SymbolicToPure.ml')
| -rw-r--r-- | src/SymbolicToPure.ml | 9 |
1 files changed, 2 insertions, 7 deletions
diff --git a/src/SymbolicToPure.ml b/src/SymbolicToPure.ml index 8b31bffa..d46d8386 100644 --- a/src/SymbolicToPure.ml +++ b/src/SymbolicToPure.ml @@ -1298,13 +1298,8 @@ let translate_fun_def (ctx : bs_ctx) (body : S.expression) : fun_def = (* return *) def -let translate_type_defs (type_defs : T.type_def list) : type_def TypeDefId.Map.t - = - List.fold_left - (fun tdefs def -> - let tdef = translate_type_def def in - TypeDefId.Map.add def.def_id tdef tdefs) - TypeDefId.Map.empty type_defs +let translate_type_defs (type_defs : T.type_def list) : type_def list = + List.map translate_type_def type_defs (** Translates function signatures. |