Do not DBG_DEF vars with % prefix

2022-12-23 21:14:02 +03:00 · 2022-12-23 21:14:02 +03:00 · 04aed6670a
commit 04aed6670a
parent 9619bb6071
1 changed files with 3 additions and 3 deletions
--- a/src/aeso_fcode_to_fate.erl
+++ b/src/aeso_fcode_to_fate.erl
@ -786,7 +786,7 @@ dbg_scoped_var(Env = #env{saved_fresh_names = SavedFreshNames}, Var, SCode) ->
        true  ->
            Register = lookup_var(Env, Var),
            case maps:get(Var, SavedFreshNames, Var) of
-                ["%" | _] -> SCode;
+                "%" ++ _ -> SCode;
                "_"      -> SCode;
                VarName  ->
                    Def   = [{'DBG_DEF',   {immediate, VarName}, Register}],