From faa1d7fbfd7c9d5aa333d9b353a6118e105c4428 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Sat, 25 Apr 2020 16:52:33 +0200
Subject: Remove the `can_reserve_register` function.

The function is in fact just a call to the
function`is_callee_save_register` from `Conventions1.v`.
---
 cfrontend/CPragmas.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'cfrontend')

diff --git a/cfrontend/CPragmas.ml b/cfrontend/CPragmas.ml
index ce2cfcf0..92cf4cec 100644
--- a/cfrontend/CPragmas.ml
+++ b/cfrontend/CPragmas.ml
@@ -56,7 +56,7 @@ let process_reserve_register_pragma name =
   | None ->
       C2C.error "unknown register in `reserve_register' pragma"
   | Some r ->
-      if Machregsaux.can_reserve_register r then
+      if Conventions1.is_callee_save r then
         reserved_registers := r :: !reserved_registers
       else
         C2C.error "cannot reserve this register (not a callee-save)"
-- 
cgit