X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=Robust%2Fsrc%2FBenchmarks%2FSSJava%2FMP3DecoderInfer%2FLATTICE.java;h=3cb4b1dadb9728ae498a68a6f2609533e8f30d22;hb=70aff04c5bb5a7b5f5693a72a29a1abf97004e8d;hp=3dc53b81d222b06c8d2d2c8f246ef39f140e56d8;hpb=7a0d4aea90f5e090be8341e7ab4a8d5e33c788f5;p=IRC.git

diff --git a/Robust/src/Benchmarks/SSJava/MP3DecoderInfer/LATTICE.java b/Robust/src/Benchmarks/SSJava/MP3DecoderInfer/LATTICE.java
index 3dc53b81..3cb4b1da 100644
--- 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();
 }