From 9bb99072b81210867dcb78543889f3a4aed945f4 Mon Sep 17 00:00:00 2001
From: Patrik Nyblom <pan@erlang.org>
Date: Tue, 2 Oct 2012 15:18:03 +0200
Subject: Add 'hide' option to erlang:open_port/2 spec

---
 erts/preloaded/src/erlang.erl | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'erts/preloaded/src')

diff --git a/erts/preloaded/src/erlang.erl b/erts/preloaded/src/erlang.erl
index 646acf5798..46f6b51d1e 100644
--- a/erts/preloaded/src/erlang.erl
+++ b/erts/preloaded/src/erlang.erl
@@ -1699,7 +1699,8 @@ nodes(_Arg) ->
            | in
            | out
            | binary
-           | eof.
+           | eof
+	   | hide.
 open_port(_PortName,_PortSettings) ->
     erlang:nif_error(undefined).
 
-- 
cgit v1.2.3