Merge branch 'RoMarQ/ligo-patch-2' into dev

This commit is contained in:
Tom Jack 2019-11-21 07:49:36 -06:00
commit 8b0fdc9ab5

View File

@ -28,7 +28,7 @@ end
```cameligo ```cameligo
type int_set = int set type int_set = int set
let my_set: int_set = let my_set: int_set =
Set.add 3 (Set.add 2 (Set.add 1 Set.empty)) Set.add 3 (Set.add 2 (Set.add 1 (Set.empty: int set)))
``` ```
<!--END_DOCUSAURUS_CODE_TABS--> <!--END_DOCUSAURUS_CODE_TABS-->