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/rewriter.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/rewriter.ml')

diff --git a/src/rewriter.ml b/src/rewriter.ml
index 01ff62b1..6d88730d 100644
--- a/src/rewriter.ml
+++ b/src/rewriter.ml
@@ -266,7 +266,7 @@ let vector_string_to_bit_list l lit =
     | _ -> raise (Reporting_basic.err_unreachable l "hexchar_to_binlist given unrecognized character") in
 
   let s_bin = match lit with
-    | L_hex s_hex -> List.flatten (List.map hexchar_to_binlist (explode (String.uppercase_ascii s_hex)))
+    | L_hex s_hex -> List.flatten (List.map hexchar_to_binlist (explode (String.uppercase s_hex)))
     | L_bin s_bin -> explode s_bin
     | _ -> raise (Reporting_basic.err_unreachable l "s_bin given non vector literal") in
 
-- 
cgit v1.2.3