Update comment.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@146394 138bc75d-0d04-0410-961f-82ee72b054a4

diff --git a/gcc/ada/s-vxwext-kernel.ads b/gcc/ada/s-vxwext-kernel.ads
index 055c0a4..4e9cb81 100644 (file)
--- 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;