enough to parse

[IRC.git] / Robust / src / Benchmarks / SingleTM / Yada / Queue_t.java

diff --git a/Robust/src/Benchmarks/SingleTM/Yada/Queue_t.java b/Robust/src/Benchmarks/SingleTM/Yada/Queue_t.java
index 4173f96c2da5535099d5575adf2af1bd1b370722..e6c9957abd8a6980ba886a293166d5268f22eb34 100644 (file)
--- a/Robust/src/Benchmarks/SingleTM/Yada/Queue_t.java
+++ b/Robust/src/Benchmarks/SingleTM/Yada/Queue_t.java
@@ -241,7 +241,7 @@ public class Queue_t {
    * queue_pop
    * =============================================================================
    */
-  public Object queue_pop () {
+  public Object queue_pop() {
     int newPop = (pop + 1) % capacity;
     if (newPop == push) {
       return null;