From: Arnaud Charlet <charlet@gcc.gnu.org>
Date: Mon, 20 Apr 2009 10:39:48 +0000 (+0200)
Subject: Update comment.
X-Git-Tag: releases/gcc-4.5.0~6372
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=51c2e647b2ba74449b7f540c9aeb43e3013d4da2;p=thirdparty%2Fgcc.git

Update comment.

From-SVN: r146394
---

diff --git a/gcc/ada/s-vxwext-kernel.ads b/gcc/ada/s-vxwext-kernel.ads
index 055c0a4536cf..4e9cb818428f 100644
--- a/gcc/ada/s-vxwext-kernel.ads
+++ b/gcc/ada/s-vxwext-kernel.ads
@@ -78,7 +78,7 @@ package System.VxWorks.Ext is
    type UINT64 is mod 2 ** Long_Long_Integer'Size;
 
    function tickGet return UINT64;
-   --  "tickGet" not available for cert vThreads:
+   --  needed for ravenscar-cert
    pragma Import (C, tickGet, "tick64Get");
 
 end System.VxWorks.Ext;