diff options
| author | Alastair Reid | 2018-07-26 13:12:42 +0100 |
|---|---|---|
| committer | Alastair Reid | 2018-07-26 13:12:42 +0100 |
| commit | 86e29bcbb1597c4ef1f6cae8edbeed42f9a31414 (patch) | |
| tree | 4d60fab5758c6cf5226800fe9779f0f6b4d60564 /src/lem_interp | |
| parent | 7173035868aa45773c86cc555ff88de6dc9b0999 (diff) | |
Warnings: deal with all the deprecation warnings
Changes are:
- String.capitalize -> String.capitalize_ascii
- String.uppercase -> String.uppercase_ascii
- String.lowercase -> String.lowercase_ascii
Basically just making the change that the warning message suggested.
Diffstat (limited to 'src/lem_interp')
| -rw-r--r-- | src/lem_interp/printing_functions.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/lem_interp/printing_functions.ml b/src/lem_interp/printing_functions.ml index a5cb96ff..c17e879f 100644 --- a/src/lem_interp/printing_functions.ml +++ b/src/lem_interp/printing_functions.ml @@ -481,7 +481,7 @@ let rec instr_parms_to_string ps = let pad n s = if String.length s < n then s ^ String.make (n-String.length s) ' ' else s let instruction_to_string (name, parms) = - ((*pad 5*) (String.lowercase name)) ^ " " ^ instr_parms_to_string parms + ((*pad 5*) (String.lowercase_ascii name)) ^ " " ^ instr_parms_to_string parms let print_backtrace_compact printer (IState(stack,_)) = List.iter (fun (e,(env,mem)) -> print_exp printer env mem true e) (compact_stack stack) |