From 4bd8ab6298961d564c34172c0a4d74cd08a08249 Mon Sep 17 00:00:00 2001
From: Hans Bolinder <hasse@erlang.org>
Date: Wed, 8 Jun 2011 09:23:14 +0200
Subject: Add more specs and types

An incorrect spec, rpc:yield/1, has been fixed.
---
 lib/kernel/doc/src/os.xml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'lib/kernel/doc/src/os.xml')

diff --git a/lib/kernel/doc/src/os.xml b/lib/kernel/doc/src/os.xml
index 56fc1834ec..e94119845a 100644
--- a/lib/kernel/doc/src/os.xml
+++ b/lib/kernel/doc/src/os.xml
@@ -126,9 +126,10 @@ DirOut = os:cmd("dir"), % on Win32 platform</code>
       </desc>
     </func>
     <func>
-      <name>timestamp() -> {MegaSecs, Secs, MicroSecs}</name>
+      <name>timestamp() -> Timestamp</name>
       <fsummary>Returna a timestamp from the OS in the erlang:now/0 format</fsummary>
       <type>
+        <v>Timestamp = {MegaSecs, Secs, MicroSecs} = <seealso marker="erts:erlang#type-timestamp">erlang:timestamp()</seealso></v>
         <v>MegaSecs = Secs = MicroSecs = integer() >= 0</v>
       </type>
       <desc>
-- 
cgit v1.2.3