From 3bbda62cb341cc7277fc8c70685ad7d9313e2412 Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Wed, 12 Sep 2018 18:28:47 +0100
Subject: Jenkins: Fix deprecation warnings

Now that Jenkins is updated to a newer version of OCaml we can finally
fix some warning with more recent versions of OCaml than 4.02.3. Also
fix a Lem test case that was failing.
---
 src/process_file.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/process_file.ml')

diff --git a/src/process_file.ml b/src/process_file.ml
index 096c4151..f3fe2dfa 100644
--- a/src/process_file.ml
+++ b/src/process_file.ml
@@ -288,14 +288,14 @@ let output_lem filename libs defs =
       operators_module
     ] @ monad_modules
   in
-  let isa_thy_name = String.capitalize filename ^ "_lemmas" in
+  let isa_thy_name = String.capitalize_ascii 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 filename);
+      string ("    " ^ String.capitalize_ascii filename);
       string  "begin";
       string  "";
       State.generate_isa_lemmas !Pretty_print_lem.opt_mwords defs;
-- 
cgit v1.2.3