From 961d55b955d0a1526ebb7a5ddca8acee50b8ab1a Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Wed, 13 May 2015 05:41:20 +0200
Subject: Remove Get_File_Time_Stamp for a filename.

Preliminary work for ticket 48.
---
 src/files_map.ads | 3 ---
 1 file changed, 3 deletions(-)

(limited to 'src/files_map.ads')

diff --git a/src/files_map.ads b/src/files_map.ads
index 8ad5a040c..c48aebd28 100644
--- a/src/files_map.ads
+++ b/src/files_map.ads
@@ -16,7 +16,6 @@
 --  Software Foundation, 59 Temple Place - Suite 330, Boston, MA
 --  02111-1307, USA.
 with Types; use Types;
-with System;
 
 package Files_Map is
 
@@ -67,8 +66,6 @@ package Files_Map is
    -- Return the date of the file (last modification date) as a string.
    function Get_File_Time_Stamp (File : Source_File_Entry)
                                 return Time_Stamp_Id;
-   function Get_File_Time_Stamp (Filename : System.Address)
-                                return Time_Stamp_Id;
 
    -- Return the current date of the system.
    function Get_Os_Time_Stamp return Time_Stamp_Id;
-- 
cgit v1.2.3