From d0485304b604781e822af1cc810ed3dc28817eb6 Mon Sep 17 00:00:00 2001
From: Hans Svensson <hans.svensson@quviq.com>
Date: Fri, 16 Aug 2019 11:11:25 +0200
Subject: [PATCH] Please dialyzer

---
 src/aeso_icode.erl | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/aeso_icode.erl b/src/aeso_icode.erl
index e465c4b..22d2d44 100644
--- a/src/aeso_icode.erl
+++ b/src/aeso_icode.erl
@@ -49,6 +49,7 @@
                   , type_vars => #{ string() => aeb_aevm_data:type() }
                   , constructors => #{ [string()] => integer() }  %% name to tag
                   , options => [any()]
+                  , payable => boolean()
                   }.
 
 pp(Icode) ->