From 9f90c3cf5a88a3d26e802f7b3771da963af2a614 Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Mon, 27 Apr 2015 10:24:52 +0200
Subject: [PATCH] Remove legacy annotations
---
library/annotation/package.scala | 8 --------
1 file changed, 8 deletions(-)
diff --git a/library/annotation/package.scala b/library/annotation/package.scala
index 29a8c1327..5782172b8 100644
--- a/library/annotation/package.scala
+++ b/library/annotation/package.scala
@@ -8,20 +8,12 @@ package object annotation {
@ignore
class library extends StaticAnnotation
@ignore
- class verified extends StaticAnnotation
- @ignore
class repair extends StaticAnnotation
-
@ignore
class induct extends StaticAnnotation
@ignore
- class axiomatize extends StaticAnnotation
- @ignore
- class main extends StaticAnnotation
- @ignore
class extern extends StaticAnnotation
@ignore
class ignore extends StaticAnnotation
-
}
--
GitLab