Change function references from aeso_sophia to aeb_aevm_data

2019-03-29 18:08:49 +01:00
parent fd0dbdf207
commit 9f5f8d4444
5 changed files with 10 additions and 40 deletions
@@ -674,7 +674,7 @@ make_type_def(Args, Def, Icode = #{ type_vars := TypeEnv }) ->
        ast_typerep(Def, Icode#{ type_vars := maps:merge(TypeEnv, TypeEnv1) })
    end.

-spec ast_typerep(aeso_syntax:type()) -> aeso_sophia:type().
+-spec ast_typerep(aeso_syntax:type()) -> aeb_aevm_data:type().
 ast_typerep(Type) -> ast_typerep(Type, aeso_icode:new([])).

 ast_typerep({id, _, Name}, Icode) ->