X-Git-Url: http://plrg.eecs.uci.edu/git/?p=IRC.git;a=blobdiff_plain;f=Robust%2Fsrc%2FTests%2FssJava%2Fmp3decoder%2FHeader.java;h=b98fea93bc1a144c87fbcf805e225415cce8a036;hp=8dc5237ff273db97d3ab539ded2dd098ed60b8fc;hb=bafdf8895425a699f5550a970a2c8144e06ae1e2;hpb=ae167f46cf7dc9319b2614e41e73996110fb7afa

diff --git a/Robust/src/Tests/ssJava/mp3decoder/Header.java b/Robust/src/Tests/ssJava/mp3decoder/Header.java
index 8dc5237f..b98fea93 100644
--- a/Robust/src/Tests/ssJava/mp3decoder/Header.java
+++ b/Robust/src/Tests/ssJava/mp3decoder/Header.java
@@ -119,7 +119,7 @@ public final class Header {
 
   Header() {
   }
-
+  
   @LATTICE("OUT<BUF,BUF<THIS,THISLOC=THIS,RETURNLOC=OUT")
   public String toString() {
     @LOC("BUF") StringBuffer buffer = new StringBuffer(200);
@@ -696,6 +696,7 @@ public final class Header {
    * 
    * @return bitrate in bps
    */
+  
   @RETURNLOC("THIS,Header.FS")
   public String bitrate_string() {
     @LOC("THIS,Header.T") String kbs = " kb/s";