forgot a file

diff --git a/Robust/src/Benchmarks/SingleTM/Bayes/Queue.java b/Robust/src/Benchmarks/SingleTM/Bayes/Queue.java
index a6b816a46ad4ef438085f382a04cb9589935b061..d67fcd024866f6397478ccab2ed873777ab03fa2 100644 (file)
--- a/Robust/src/Benchmarks/SingleTM/Bayes/Queue.java
+++ b/Robust/src/Benchmarks/SingleTM/Bayes/Queue.java
@@ -167,10 +167,6 @@ public class Queue {
   public boolean
     queue_isEmpty ()
     {
-      //int pop      = queuePtr.pop;
-      //int push     = queuePtr.push;
-      //int capacity = queuePtr.capacity;
-
       return (((pop + 1) % capacity == push) ? true : false);
     }
 
@@ -274,7 +270,6 @@ public class Queue {
           }
         }
 
-        //elements = null;
         elements = newElements;
         pop      = newCapacity - 1;
         capacity = newCapacity;
@@ -412,20 +407,13 @@ public class Queue {
    * =============================================================================
    */
   public int
-    //queue_pop (Queue queuePtr)
     queue_pop ()
     {
-      //int pop      = queuePtr.pop;
-      //int push     = queuePtr.push;
-      //int capacity = queuePtr.capacity;
-
       int newPop = (pop + 1) % capacity;
       if (newPop == push) {
         return 0;
       }
 
-      //int dataPtr = queuePtr.elements[newPop];
-      //queuePtr.pop = newPop;
       int dataPtr = elements[newPop];
       pop = newPop;