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.mli | |
| 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.mli')
| -rw-r--r-- | src/lem_interp/printing_functions.mli | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/lem_interp/printing_functions.mli b/src/lem_interp/printing_functions.mli index 85744d61..f1a0cd4a 100644 --- a/src/lem_interp/printing_functions.mli +++ b/src/lem_interp/printing_functions.mli @@ -10,7 +10,6 @@ val loc_to_string : l -> string val get_loc : tannot exp -> string (*interp_interface.value to string*) val reg_value_to_string : register_value -> string -val val_to_string_internal : Interp.lmem -> Interp_ast.value -> string (*(*Force all representations to hex strings instead of a mixture of hex and binary strings*) val val_to_hex_string : value0 -> string*) |