diff options
Diffstat (limited to 'src/lem_interp/printing_functions.mli')
| -rw-r--r-- | src/lem_interp/printing_functions.mli | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/lem_interp/printing_functions.mli b/src/lem_interp/printing_functions.mli index e5b285fa..2b792ebb 100644 --- a/src/lem_interp/printing_functions.mli +++ b/src/lem_interp/printing_functions.mli @@ -59,11 +59,11 @@ val print_instruction : (string -> unit) -> instruction -> unit val register_value_to_string : register_value -> string -val memory_value_to_string : memory_value -> string +val memory_value_to_string : end_flag -> memory_value -> string val logfile_register_value_to_string : register_value -> string -val logfile_memory_value_to_string : memory_value -> string +val logfile_memory_value_to_string : end_flag -> memory_value -> string val logfile_address_to_string : address -> string val byte_list_to_string : byte list -> string |