diff options
| author | Alasdair Armstrong | 2018-08-07 15:47:21 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2018-08-07 15:47:21 +0100 |
| commit | e3933fd35222995a3b44015aa288fdf34696bc8a (patch) | |
| tree | b9cf76d17b84d48be8fdbc36357f6b80b12cf32d /src/rewriter.ml | |
| parent | 88fbe39a24a9432a58bc9998130f0b075344ef4c (diff) | |
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.
Diffstat (limited to 'src/rewriter.ml')
| -rw-r--r-- | src/rewriter.ml | 2 |
1 files changed, 1 insertions, 1 deletions
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 |