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/process_file.ml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'src/process_file.ml')

diff --git a/src/process_file.ml b/src/process_file.ml
index 5fdd3d24..958720ea 100644
--- a/src/process_file.ml
+++ b/src/process_file.ml
@@ -271,14 +271,14 @@ let output_lem filename libs defs =
       operators_module
     ] @ monad_modules
   in
-  let isa_thy_name = String.capitalize_ascii filename ^ "_lemmas" in
+  let isa_thy_name = String.capitalize filename ^ "_lemmas" in
   let isa_lemmas =
     separate hardline [
       string ("theory " ^ isa_thy_name);
       string  "  imports";
       string  "    Sail.Sail2_values_lemmas";
       string  "    Sail.Sail2_state_lemmas";
-      string ("    " ^ String.capitalize_ascii filename);
+      string ("    " ^ String.capitalize filename);
       string  "begin";
       string  "";
       State.generate_isa_lemmas !Pretty_print_lem.opt_mwords defs;
@@ -292,7 +292,7 @@ let output_lem filename libs defs =
     open_output_with_check_unformatted (filename ^ ".lem") in
   (Pretty_print.pp_defs_lem
      (ot, base_imports)
-     (o, base_imports @ (String.capitalize_ascii types_module :: libs))
+     (o, base_imports @ (String.capitalize types_module :: libs))
      defs generated_line);
   close_output_with_check ext_ot;
   close_output_with_check ext_o;
-- 
cgit v1.2.3