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

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

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