Add missing cases to printing_functions printing of interp_values

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