From 4558542a4b7085f49aafcab8808f8721aa930c04 Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Tue, 18 Nov 2014 18:13:37 +0000
Subject: Add missing cases to printing_functions printing of interp_values

---
 src/lem_interp/printing_functions.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'src')

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
-- 
cgit v1.2.3