diff --git a/compiler/2014/Annotations.jrag b/compiler/2014/Annotations.jrag
index 0f6b2f2a762482ace282e421c03e6785e0e904fa..57c88d4df3e6bac5169bec013bf4664abf35bf56 100644
--- a/compiler/2014/Annotations.jrag
+++ b/compiler/2014/Annotations.jrag
@@ -51,9 +51,6 @@ aspect SigAnnotations {
            return "\""+new String(getValue())+"\"";
    }
 
-   syn boolean ASTNode.isTypeInstance() = false;
-   eq TypeInstance.isTypeInstance() = true;
-
     /// TESTING
     syn String Decl.getAnnotationString()  {
             StringBuilder sb = new StringBuilder();