From fea60b1be867811799ff6d1e8edb3dcdc5aa9bdd Mon Sep 17 00:00:00 2001 From: Kostis Sagonas Date: Wed, 14 Oct 2015 12:30:57 +0300 Subject: [PATCH] Fix indentation and add one more contributor --- THANKS | 1 + src/proper_gen.erl | 4 ++-- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/THANKS b/THANKS index 4c2a4a9a..23029520 100644 --- a/THANKS +++ b/THANKS @@ -17,6 +17,7 @@ pull requests that have been incorporated in PropEr's code base: 14. Zaiming Shi 15. Pino Toscano 16. Garret Smith + 17. Michael Uvarov We sincerely thank them for making PropEr a better tool. diff --git a/src/proper_gen.erl b/src/proper_gen.erl index 402dc510..2fe77ec4 100644 --- a/src/proper_gen.erl +++ b/src/proper_gen.erl @@ -273,8 +273,8 @@ keep_shrinking(ImmInstance, Acc, Type, State) -> {[], done} -> %% no more shrinkers lists:reverse([ImmInstance|Acc]); {[], NewState} -> - %% try next shrinker - keep_shrinking(ImmInstance, Acc, Type, NewState); + %% try next shrinker + keep_shrinking(ImmInstance, Acc, Type, NewState); {[Shrunk|_Rest], _NewState} -> keep_shrinking(Shrunk, [ImmInstance|Acc], Type) end.