From 34a7ec51c1f1bbfeb973f8e295ac81b65c70251c Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Tue, 15 Mar 2016 11:00:24 +0100
Subject: Revert "Removed unused parameter from is_small/rel_data."

This reverts commit bac2a0854ea51217690bc6f225da62053ed7ac06.
---
 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 d29bb295..c3e07995 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