reformat benchmark source codes to meet the requirements of the annotation generation.

[IRC.git] / Robust / src / Benchmarks / SSJava / MP3DecoderInfer / METHODDEFAULT.java

diff --git a/Robust/src/Benchmarks/SSJava/MP3DecoderInfer/METHODDEFAULT.java b/Robust/src/Benchmarks/SSJava/MP3DecoderInfer/METHODDEFAULT.java
index 8cc6ce767950ee4e892e8471ce2630ff807f3b77..b9b49e241bbf1945a0fa63990c0a87886f9b3286 100644 (file)
--- a/Robust/src/Benchmarks/SSJava/MP3DecoderInfer/METHODDEFAULT.java
+++ b/Robust/src/Benchmarks/SSJava/MP3DecoderInfer/METHODDEFAULT.java
@@ -1,3 +1,3 @@
-public @interface METHODDEFAULT{
-    String value();
+public @interface METHODDEFAULT {
+  String value();
 }