From: bdemsky <bdemsky>
Date: Sat, 17 Oct 2009 21:15:57 +0000 (+0000)
Subject: capitalization
X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;h=a0d3dd61a47bd5dce1884abbe5c240d205e24ec9;p=IRC.git

capitalization
---

diff --git a/Robust/src/Benchmarks/SingleTM/Yada/element.java b/Robust/src/Benchmarks/SingleTM/Yada/element.java
index d81eea2a..5f2c0ea5 100644
--- a/Robust/src/Benchmarks/SingleTM/Yada/element.java
+++ b/Robust/src/Benchmarks/SingleTM/Yada/element.java
@@ -546,7 +546,7 @@ int element_compare (element aElementPtr, element bElementPtr) {
  * element_getNeighborListPtr
  * =============================================================================
  */
-  list_t element_getNeighborListPtr () {
+  List_t element_getNeighborListPtr () {
     return neighborListPtr;
   }
 
diff --git a/Robust/src/Benchmarks/SingleTM/Yada/region.java b/Robust/src/Benchmarks/SingleTM/Yada/region.java
index 6da6ef03..8ba5dfee 100644
--- a/Robust/src/Benchmarks/SingleTM/Yada/region.java
+++ b/Robust/src/Benchmarks/SingleTM/Yada/region.java
@@ -108,8 +108,8 @@ public class region {
 			      mesh meshPtr,
 			      MAP_T edgeMapPtr) {
     Vector_t badVectorPtr = regionPtr.badVectorPtr; /* private */
-    list_t beforeListPtr = regionPtr.beforeListPtr; /* private */
-    list_t borderListPtr = regionPtr.borderListPtr; /* private */
+    List_t beforeListPtr = regionPtr.beforeListPtr; /* private */
+    List_t borderListPtr = regionPtr.borderListPtr; /* private */
     list_iter_t it;
     int numDelta = 0;