diff options
| author | Jon French | 2019-03-13 16:54:03 +0000 |
|---|---|---|
| committer | Jon French | 2019-03-13 16:54:03 +0000 |
| commit | 81261ce7a4f91d3d55351f54d979fa5e4b4661ee (patch) | |
| tree | 0f075df1d5d5167055659a8b05b08baa5672d036 /src | |
| parent | 949964e09c0f53fdbf82f39f79e9c3cda2f92a6f (diff) | |
Debugging: string_of_value internal values in string_of_exp
Diffstat (limited to 'src')
| -rw-r--r-- | src/ast_util.ml | 2 |
1 files changed, 1 insertions, 1 deletions
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 |