diff options
Diffstat (limited to 'src/lem_interp')
| -rw-r--r-- | src/lem_interp/interp.lem | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/lem_interp/interp.lem b/src/lem_interp/interp.lem index 18d53fc2..70987971 100644 --- a/src/lem_interp/interp.lem +++ b/src/lem_interp/interp.lem @@ -85,8 +85,8 @@ let rec string_of_value v = match v with | V_ctor id t value -> (get_id id) ^ " " ^ string_of_value value | V_unknown -> "Unknown" | V_register _ -> "register_as_value" - | V_register_alias _ _ -> "register_as_value" - | V_track v _ -> string_of_value v + | V_register_alias _ _ -> "register_as_alias" + | V_track v _ -> (*"tainted " ^*) (string_of_value v) end let rec id_value_eq (i, v) (i', v') = i = i' && value_eq v v' |