From a0d3dd61a47bd5dce1884abbe5c240d205e24ec9 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Sat, 17 Oct 2009 21:15:57 +0000
Subject: [PATCH] capitalization

---
 Robust/src/Benchmarks/SingleTM/Yada/element.java | 2 +-
 Robust/src/Benchmarks/SingleTM/Yada/region.java  | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

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;
     
-- 
2.34.1