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

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

diff --git a/Robust/src/Benchmarks/SSJava/MP3DecoderInfer/SampleBufferWrapper.java b/Robust/src/Benchmarks/SSJava/MP3DecoderInfer/SampleBufferWrapper.java
index 5c691eb27f5d76af06c45d7636bbdc6d7a5f1187..ac0232c5bbe0ecd934ede42bd772f9783a1a33b1 100644 (file)
--- a/Robust/src/Benchmarks/SSJava/MP3DecoderInfer/SampleBufferWrapper.java
+++ b/Robust/src/Benchmarks/SSJava/MP3DecoderInfer/SampleBufferWrapper.java
@@ -6,9 +6,9 @@ public class SampleBufferWrapper {
   static void init(int freq, int channels) {
     output = new SampleBuffer(freq, channels);
   }
-  
+
   @TRUST
-  static void clear_buffer(){
+  static void clear_buffer() {
     output.clear_buffer();
   }