diff options
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. |