From b5daedaf95d34be9b23e90bf24117f5c498fc466 Mon Sep 17 00:00:00 2001
From: Thomas Arts <thomas.arts@robuster.software>
Date: Thu, 28 Feb 2019 10:38:33 +0100
Subject: [PATCH] Since Tag < Size, Size cannot be zero

---
 src/aeb_fate_encoding.erl | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/src/aeb_fate_encoding.erl b/src/aeb_fate_encoding.erl
index 1fcbd9e..9bdadbb 100644
--- a/src/aeb_fate_encoding.erl
+++ b/src/aeb_fate_encoding.erl
@@ -136,10 +136,8 @@ serialize(Map) when ?IS_FATE_MAP(Map) ->
     <<?MAP,
       (rlp_integer(Size))/binary,
       (Elements)/binary>>;
-serialize(?FATE_VARIANT(Size, Tag, Values)) when 0 =< Size
-                                                 , Size < 256
-                                                 , 0 =< Tag
-                                                 , Tag < Size ->
+serialize(?FATE_VARIANT(Size, Tag, Values)) when 0 < Size, Size < 256,
+                                                 0 =< Tag, Tag < Size ->
     <<?VARIANT, Size:8, Tag:8,
       (serialize(?FATE_TUPLE(Values)))/binary
     >>.