From 99dfd18dea6f94205c416cea24b275035d9b14fd Mon Sep 17 00:00:00 2001
From: John David Pressman <jd@jdpressman.com>
Date: Thu, 24 Oct 2019 14:44:07 -0700
Subject: [PATCH] Add explanatory comment to annotation.ligo

---
 src/test/contracts/annotation.ligo | 2 ++
 1 file changed, 2 insertions(+)

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) ;