fixes on method annoatation checking: when a method needs to be annotated, all of...

[IRC.git] / Robust / src / Tests / StaticInnerClassTest.java

diff --git a/Robust/src/Tests/StaticInnerClassTest.java b/Robust/src/Tests/StaticInnerClassTest.java
index a7c555b02e9a0481c6efe67f590ed43615135cf1..042d5f2a8d5c8c5920bb337f373e791142b74424 100644 (file)
--- a/Robust/src/Tests/StaticInnerClassTest.java
+++ b/Robust/src/Tests/StaticInnerClassTest.java
@@ -1,4 +1,4 @@
-class Contents {
+interface Contents {
   int value();
 }