X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=Robust%2Fsrc%2FBenchmarks%2FSSJava%2FMP3Decoder%2Fhuffcodetab.java;h=0b8ba3347c4ed3ec6d46d450b205d5f4eece8cf2;hb=9dfdca00acf795117136425841493a1b0f036f10;hp=895f95fd1cdd96d435d1d0974f47f583cdaf46ba;hpb=7701457cedb357fc5efd0170f495a22a99b18cef;p=IRC.git diff --git a/Robust/src/Benchmarks/SSJava/MP3Decoder/huffcodetab.java b/Robust/src/Benchmarks/SSJava/MP3Decoder/huffcodetab.java index 895f95fd..0b8ba334 100644 --- a/Robust/src/Benchmarks/SSJava/MP3Decoder/huffcodetab.java +++ b/Robust/src/Benchmarks/SSJava/MP3Decoder/huffcodetab.java @@ -509,11 +509,10 @@ final class huffcodetab { // @LATTICE("OUT