From 81261ce7a4f91d3d55351f54d979fa5e4b4661ee Mon Sep 17 00:00:00 2001
From: Jon French
Date: Wed, 13 Mar 2019 16:54:03 +0000
Subject: Debugging: string_of_value internal values in string_of_exp

---
 src/ast_util.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/ast_util.ml b/src/ast_util.ml
index 526d3845..afd00d3d 100644
--- a/src/ast_util.ml
+++ b/src/ast_util.ml
@@ -927,7 +927,7 @@ let rec string_of_exp (E_aux (exp, _)) =
   | E_internal_return exp -> "internal_return (" ^ string_of_exp exp ^ ")"
   | E_internal_plet (pat, exp, body) -> "internal_plet " ^ string_of_pat pat ^ " = " ^ string_of_exp exp ^ " in " ^ string_of_exp body
   | E_nondet _ -> "NONDET"
-  | E_internal_value _ -> "INTERNAL VALUE"
+  | E_internal_value v -> "INTERNAL_VALUE(" ^ Value.string_of_value v ^ ")"
 
 and string_of_fexp (FE_aux (FE_Fexp (field, exp), _)) =
   string_of_id field ^ " = " ^ string_of_exp exp
-- 
cgit v1.2.3