From e3933fd35222995a3b44015aa288fdf34696bc8a Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Tue, 7 Aug 2018 15:47:21 +0100
Subject: Revert "Warnings: deal with all the deprecation warnings"

One day we will be free from the 4.02.3 menace, but today is not that day. :(

This should fix Sail on Jenkins

This reverts commit 86e29bcbb1597c4ef1f6cae8edbeed42f9a31414.
---
 src/lem_interp/printing_functions.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/lem_interp')

diff --git a/src/lem_interp/printing_functions.ml b/src/lem_interp/printing_functions.ml
index c17e879f..a5cb96ff 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_ascii name)) ^ " " ^ instr_parms_to_string parms 
+  ((*pad 5*) (String.lowercase 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)
-- 
cgit v1.2.3