From eb926b13527ef9274644fce502010a23556a3569 Mon Sep 17 00:00:00 2001 From: Ulf Norell Date: Mon, 25 Feb 2019 14:42:47 +0100 Subject: [PATCH] fix type signature --- src/aeso_ast_infer_types.erl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/aeso_ast_infer_types.erl b/src/aeso_ast_infer_types.erl index ac399d4..eb6090f 100644 --- a/src/aeso_ast_infer_types.erl +++ b/src/aeso_ast_infer_types.erl @@ -508,7 +508,7 @@ init_env(Options) -> end, global_env(), [{"oracle", 2}, {"oracle_query", 2}]) end. --spec infer(aeso_syntax:ast(), list(option())) -> aeso_syntax:ast(). +-spec infer(aeso_syntax:ast(), list(option())) -> aeso_syntax:ast() | {env(), aeso_syntax:ast()}. infer(Contracts, Options) -> ets_init(), %% Init the ETS table state try