From 59b7b786aca06daf6acf7d9b0a094f5a343d49b7 Mon Sep 17 00:00:00 2001 From: Thomas Arts Date: Fri, 23 Aug 2019 15:50:39 +0200 Subject: [PATCH] Update quickcheck/aefate_code_eqc.erl Co-Authored-By: Hans Svensson --- quickcheck/aefate_code_eqc.erl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/quickcheck/aefate_code_eqc.erl b/quickcheck/aefate_code_eqc.erl index 2a45ec3..e412dfd 100644 --- a/quickcheck/aefate_code_eqc.erl +++ b/quickcheck/aefate_code_eqc.erl @@ -85,7 +85,7 @@ fate_code(Failure) -> ?LET({FMap, SMap, AMap}, {non_empty(map(if Failure == 1 -> binary(1); true -> binary(4) end, - {sublist(lists:sort([private, payable])), %% serialzing is sorting them + {sublist(lists:sort([private, payable])), %% deserialize sorts them {list(aefate_type_eqc:fate_type(Size div 3)), aefate_type_eqc:fate_type(Size div 3)}, bbs_code(Failure)})), small_map(small_fate_data_key(5), small_fate_data(4)), small_map(small_fate_data_key(5), small_fate_data(4))},