diff --git a/src/aeso_fcode_to_fate.erl b/src/aeso_fcode_to_fate.erl index c463485..6cd93b7 100644 --- a/src/aeso_fcode_to_fate.erl +++ b/src/aeso_fcode_to_fate.erl @@ -786,9 +786,9 @@ 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; - VarName -> + "%" ++ _ -> SCode; + "_" -> SCode; + VarName -> Def = [{'DBG_DEF', {immediate, VarName}, Register}], Undef = [{'DBG_UNDEF', {immediate, VarName}, Register}], Def ++ SCode ++ Undef