From: adash <adash>
Date: Tue, 16 Jun 2009 00:13:08 +0000 (+0000)
Subject: forgot a file
X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;h=3525e9f547ecfd8281ab53f3c9ff8cb373771465;p=IRC.git

forgot a file
---

diff --git a/Robust/src/Benchmarks/SingleTM/Bayes/Queue.java b/Robust/src/Benchmarks/SingleTM/Bayes/Queue.java
index a6b816a4..d67fcd02 100644
--- 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;