From f78931dbd401f39a88c375c205fabf2c5bd83581 Mon Sep 17 00:00:00 2001 From: Stavros Aronis Date: Mon, 21 Mar 2011 18:26:26 +0200 Subject: Update small/recursive_types2 source --- lib/dialyzer/test/small_SUITE_data/src/recursive_types2.erl | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/lib/dialyzer/test/small_SUITE_data/src/recursive_types2.erl b/lib/dialyzer/test/small_SUITE_data/src/recursive_types2.erl index 3a22bbf5d2..7985d5fb4b 100644 --- a/lib/dialyzer/test/small_SUITE_data/src/recursive_types2.erl +++ b/lib/dialyzer/test/small_SUITE_data/src/recursive_types2.erl @@ -2,9 +2,9 @@ -export([test/0]). --type tree() :: 'nil' | {non_neg_integer(), child(), child()}. +-type tree() :: 'nil' | {non_neg_integer(), subtree(), subtree()}. --type child() :: tree(). +-type subtree() :: tree(). -spec test() -> {42, tree(), tree()}. -- cgit v1.2.3