From 9e8223d82e5e9c973a052182d8c1ca6cb7b9a587 Mon Sep 17 00:00:00 2001
From: Hans Bolinder <hasse@erlang.org>
Date: Mon, 8 Oct 2012 14:28:25 +0200
Subject: Fix the contract of erl_ddll:format_error/1

The bug in the contract of erl_ddll:format_error_int/1 in R15B that
was copied to R16B (OTP-9862) has been fixed.
---
 lib/kernel/src/erl_ddll.erl | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/lib/kernel/src/erl_ddll.erl b/lib/kernel/src/erl_ddll.erl
index f967fcc2ef..e03d280cd8 100644
--- a/lib/kernel/src/erl_ddll.erl
+++ b/lib/kernel/src/erl_ddll.erl
@@ -54,9 +54,7 @@ info(_, _) ->
     erlang:nif_error(undef).
 
 -spec format_error_int(ErrSpec) -> string() when
-      ErrSpec :: inconsisten | linked_in_driver | permanent
-               | not_loaded | not_loaded_by_this_process | not_pending
-               | already_loaded | unloading.
+      ErrSpec :: term().
 
 format_error_int(_) ->
     erlang:nif_error(undef).
-- 
cgit v1.2.3