From 0d1d81abb671053706a93fe15f203674f6bbeb5b Mon Sep 17 00:00:00 2001
From: Sven Gestegard Robertz <sven.robertz@cs.lth.se>
Date: Thu, 21 May 2015 12:07:56 +0200
Subject: [PATCH] cleanup

---
 compiler/2014/Annotations.jrag | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/compiler/2014/Annotations.jrag b/compiler/2014/Annotations.jrag
index 0f6b2f2..57c88d4 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();
-- 
GitLab