diff options
Diffstat (limited to 'src/lem_interp/printing_functions.ml')
| -rw-r--r-- | src/lem_interp/printing_functions.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/lem_interp/printing_functions.ml b/src/lem_interp/printing_functions.ml index edf42e0c..83a0e7f1 100644 --- a/src/lem_interp/printing_functions.ml +++ b/src/lem_interp/printing_functions.ml @@ -131,9 +131,10 @@ let rec val_to_string_internal ((Interp.LMem (_,memory)) as mem) = function sprintf "{%s}" repr | Interp.V_ctor (id,_, value) -> sprintf "%s %s" (id_to_string id) (val_to_string_internal mem value) - | Interp.V_register r -> + | Interp.V_register _ | Interp.V_register_alias _ -> sprintf "reg-as-value" | Interp.V_unknown -> "unknown" + | Interp.V_track(v,_) -> (val_to_string_internal mem v) ;; let rec top_frame_exp_state = function |