capitalization

diff --git a/Robust/src/Benchmarks/SingleTM/Yada/element.java b/Robust/src/Benchmarks/SingleTM/Yada/element.java
index d81eea2ae8565d9642059d8240199da84af74e29..5f2c0ea5f0424ef359b3ba3a2782eab27fe92256 100644 (file)
--- 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 6da6ef0362c40f52f5ca9db09770f77d58a3d2a0..8ba5dfeea5c9e4190a4db3d86b76923091b99e1f 100644 (file)
--- 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;