diff --git a/src/test/contracts/annotation.ligo b/src/test/contracts/annotation.ligo index 1eaef7b0c..7f5e969f4 100644 --- a/src/test/contracts/annotation.ligo +++ b/src/test/contracts/annotation.ligo @@ -1,3 +1,5 @@ +(* Test that a string is cast to an address given a type annotation *) + const lst : list(int) = list [] ; const address : address = ("tz1KqTpEZ7Yob7QbPE4Hy4Wo8fHG8LhKxZSx" : address) ;