From 760d2841d1bb5664ce75d9757ca18682901d00eb Mon Sep 17 00:00:00 2001 From: Hans Svensson Date: Mon, 3 Feb 2020 12:22:34 +0100 Subject: [PATCH] From Iris (with AENS.update) AENS.resolve is not Pure --- src/aeso_fcode_to_fate.erl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/aeso_fcode_to_fate.erl b/src/aeso_fcode_to_fate.erl index ddb15eb..66c2a1a 100644 --- a/src/aeso_fcode_to_fate.erl +++ b/src/aeso_fcode_to_fate.erl @@ -880,7 +880,7 @@ attributes(I) -> {'ORACLE_GET_ANSWER', A, B, C, D, E} -> Pure(A, [B, C, D, E]); {'ORACLE_GET_QUESTION', A, B, C, D, E}-> Pure(A, [B, C, D, E]); {'ORACLE_QUERY_FEE', A, B} -> Pure(A, [B]); - {'AENS_RESOLVE', A, B, C, D} -> Pure(A, [B, C, D]); + {'AENS_RESOLVE', A, B, C, D} -> Impure(A, [B, C, D]); {'AENS_PRECLAIM', A, B, C} -> Impure(none, [A, B, C]); {'AENS_CLAIM', A, B, C, D, E} -> Impure(none, [A, B, C, D, E]); {'AENS_UPDATE', A, B, C, D, E, F} -> Impure(none, [A, B, C, D, E, F]);