From 7237ccb621d58b2c86ef250f1c3e3ffd29260955 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Tue, 21 Jun 2016 15:49:07 +0200
Subject: Remove code that will is deprecated in ocaml 4.03

Most of the code can be String.uppercase usages can either be
replaced by a more specialized version of coqstring_of_camlstring
(which is also slightly more effecient) or by specialized checks
that reject wrong code earlier.
Bug 19187
---
 arm/Machregsaux.mli | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'arm/Machregsaux.mli')

diff --git a/arm/Machregsaux.mli b/arm/Machregsaux.mli
index d4877a62..9404568d 100644
--- a/arm/Machregsaux.mli
+++ b/arm/Machregsaux.mli
@@ -14,5 +14,5 @@
 
 val name_of_register: Machregs.mreg -> string option
 val register_by_name: string -> Machregs.mreg option
-val scratch_register_names: string list
+val is_scratch_register: string -> bool
 val can_reserve_register: Machregs.mreg -> bool
-- 
cgit