From ef2bec69af7ccca89d986994d9e8afff7744c082 Mon Sep 17 00:00:00 2001 From: Gaith Hallak Date: Thu, 9 Mar 2023 11:59:13 +0300 Subject: [PATCH] Make debug ops impure --- src/aeso_fcode_to_fate.erl | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/aeso_fcode_to_fate.erl b/src/aeso_fcode_to_fate.erl index 9c8b908..200e2cf 100644 --- a/src/aeso_fcode_to_fate.erl +++ b/src/aeso_fcode_to_fate.erl @@ -923,9 +923,9 @@ attributes(I) -> loop -> Impure(pc, []); switch_body -> Pure(none, []); 'RETURN' -> Impure(pc, []); - {'DBG_LOC', _, _} -> Pure(none, []); - {'DBG_DEF', _, _} -> Pure(none, []); - {'DBG_UNDEF', _, _} -> Pure(none, []); + {'DBG_LOC', _, _} -> Impure(none, []); + {'DBG_DEF', _, _} -> Impure(none, []); + {'DBG_UNDEF', _, _} -> Impure(none, []); {'RETURNR', A} -> Impure(pc, A); {'CALL', A} -> Impure(?a, [A]); {'CALL_R', A, _, B, C, D} -> Impure(?a, [A, B, C, D]);