From d63019dad7dc4fb6765a8e82967785878a7b5e98 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Bj=C3=B6rn=20Gustavsson?= <bjorn@erlang.org>
Date: Mon, 9 Sep 2013 19:29:13 +0200
Subject: core_lint: Correct the type error() to conform to the code

Commit 60984ade updated the code, but not the type spec.

Noticed-by: Kostis Sagonas
---
 lib/compiler/src/core_lint.erl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'lib/compiler')

diff --git a/lib/compiler/src/core_lint.erl b/lib/compiler/src/core_lint.erl
index e5d5fa2bcd..67d37ff1fc 100644
--- a/lib/compiler/src/core_lint.erl
+++ b/lib/compiler/src/core_lint.erl
@@ -68,7 +68,7 @@
                   | {'undefined_function', fa(), fa()}
                   | {'tail_segment_not_at_end', fa()}.
 
--type error()    :: {module(), err_desc()}.
+-type error()    :: {'none', module(), err_desc()}.
 -type warning()  :: {module(), term()}.
 
 %%-----------------------------------------------------------------------
-- 
cgit v1.2.3