diff options
| author | Brian Campbell | 2017-08-17 10:30:34 +0100 |
|---|---|---|
| committer | Brian Campbell | 2017-08-17 10:30:34 +0100 |
| commit | f88cb793118d28d061fdee4d5bd8317f541136b8 (patch) | |
| tree | e71c1bf514a01288f56b9d59f8bcdc6ec749f39e /src/lem_interp/printing_functions.ml | |
| parent | f5ce4223dbd99349fd1cdbeb99a2839a799589c5 (diff) | |
| parent | c6d639e0f03053b905a9cb0ab6929f4efe6153f4 (diff) | |
Merge remote-tracking branch 'origin' into mono-experiments
# Conflicts:
# src/type_internal.ml
Diffstat (limited to 'src/lem_interp/printing_functions.ml')
| -rw-r--r-- | src/lem_interp/printing_functions.ml | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/lem_interp/printing_functions.ml b/src/lem_interp/printing_functions.ml index 79a86113..a19256a2 100644 --- a/src/lem_interp/printing_functions.ml +++ b/src/lem_interp/printing_functions.ml @@ -49,7 +49,6 @@ open Interp_interface ;; open Nat_big_num ;; -let val_to_string_internal = Pretty_interp.val_to_string_internal ;; let lit_to_string = Pretty_interp.lit_to_string ;; let id_to_string = Pretty_interp.id_to_string ;; let loc_to_string = Pretty_interp.loc_to_string ;; @@ -451,7 +450,7 @@ let local_variables_to_string (IState(stack,_)) = String.concat ", " (option_map (fun (id,value)-> match id with | "0" -> None (*Let's not print out the context hole again*) - | _ -> Some (id ^ "=" ^ val_to_string_internal mem value)) (Pmap.bindings_list env)) + | _ -> Some (id ^ "=" ^ Interp.string_of_value value)) (Pmap.bindings_list env)) let instr_parm_to_string (name, typ, value) = name ^"="^ |