diff --git a/interface/definition b/interface/definition
index 2dcd4025b..dadd41adb 100644
--- a/interface/definition
+++ b/interface/definition
@@ -16,6 +16,7 @@ Definition
 			definitionType: DefinitionType
 			selfType: ~Type
 			structure: ~Structure
+			savedAnnotations: String*
 		TypeMember
 			TypeAlias
 				tpe: Type