From bac2a0854ea51217690bc6f225da62053ed7ac06 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Fri, 11 Mar 2016 08:48:31 +0100
Subject: Removed unused parameter from is_small/rel_data.

The ofs parameter is no longer used. Adopted the proofs and ml
code using it.
Bug 18394
---
 cfrontend/C2C.ml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'cfrontend/C2C.ml')

diff --git a/cfrontend/C2C.ml b/cfrontend/C2C.ml
index c3e07995..d29bb295 100644
--- a/cfrontend/C2C.ml
+++ b/cfrontend/C2C.ml
@@ -76,13 +76,13 @@ let atom_sections a =
   with Not_found ->
     []
 
-let atom_is_small_data a _ =
+let atom_is_small_data a =
   try
     (Hashtbl.find decl_atom a).a_access = Sections.Access_near
   with Not_found ->
     false
 
-let atom_is_rel_data a _ =
+let atom_is_rel_data a =
   try
     (Hashtbl.find decl_atom a).a_access = Sections.Access_far
   with Not_found ->
@@ -478,7 +478,7 @@ let checkFunctionType env tres targs =
           l
     end
   end
-    
+
 let rec convertTyp env t =
   match t with
   | C.TVoid _ -> Tvoid
-- 
cgit