diff options
Diffstat (limited to 'gcc/ada/s-ransee.ads')
| -rw-r--r-- | gcc/ada/s-ransee.ads | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/gcc/ada/s-ransee.ads b/gcc/ada/s-ransee.ads index ffae8323c04..8e4071fa5b2 100644 --- a/gcc/ada/s-ransee.ads +++ b/gcc/ada/s-ransee.ads @@ -2,11 +2,11 @@ -- -- -- GNAT RUN-TIME COMPONENTS -- -- -- --- S Y S T E M . R A N D O M _ S E E D -- +-- S Y S T E M . R A N D O M _ S E E D -- -- -- -- S p e c -- -- -- --- Copyright (C) 2011, Free Software Foundation, Inc. -- +-- Copyright (C) 2011-2012, Free Software Foundation, Inc. -- -- -- -- GNAT is free software; you can redistribute it and/or modify it under -- -- terms of the GNU General Public License as published by the Free Soft- -- @@ -36,12 +36,14 @@ -- o one based on Ada.Calendar -- o one based on Ada.Real_Time --- This is required because Ada.Calendar cannot be used on ravenscar, but +-- This is required because Ada.Calendar cannot be used on Ravenscar, but -- Ada.Real_Time drags in the whole tasking runtime on regular platforms. +with Interfaces; + package System.Random_Seed is - function Get_Seed return Duration; + function Get_Seed return Interfaces.Unsigned_64; -- Get a seed based on the clock end System.Random_Seed; |