QPQ-AG/sophia
11
0
Fork 0
Code Issues 43 Pull Requests 7 Actions Packages Projects Releases 16 Wiki Activity

changed type of client ttl to int option

Browse Source
This commit is contained in:
skkw
2019-11-18 16:25:47 +01:00
parent 2a3274ba25
commit 5c5d3c60ef
4 changed files with 5 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/aeso_ast_infer_types.erl
+1 -1
View File
@@ -469,7 +469,7 @@ global_env() ->
{"claim", SignFun([Address, String, Int, Int], Unit)},
{"transfer", SignFun([Address, Address, String], Unit)},
{"revoke", SignFun([Address, String], Unit)},
{"update", SignFun([Address, String, Option(TTL), Option(TTL), Option(Map(String, Pointee))], Unit)}])
{"update", SignFun([Address, String, Option(TTL), Option(Int), Option(Map(String, Pointee))], Unit)}])
, types = MkDefs([{"pointee", 0}]) },
MapScope = #scope