From 6a47f0b135e2312fac5dd21324baa8bc3ec430e7 Mon Sep 17 00:00:00 2001
From: yeom <yeom>
Date: Thu, 5 Aug 2010 20:26:07 +0000
Subject: [PATCH] fixes on tracking benchmark.

---
 Robust/src/Benchmarks/oooJava/tracking/IDX.java | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/Robust/src/Benchmarks/oooJava/tracking/IDX.java b/Robust/src/Benchmarks/oooJava/tracking/IDX.java
index cbe4868a..e9a9b335 100644
--- a/Robust/src/Benchmarks/oooJava/tracking/IDX.java
+++ b/Robust/src/Benchmarks/oooJava/tracking/IDX.java
@@ -37,7 +37,8 @@ public class IDX {
       this.m_rows = rows;
       this.m_cols = cols;
       this.m_r = r;
-
+      this.m_pnum = pnum;
+      
       this.m_rows_rs = this.m_id * this.m_range;
       this.m_rows_re = (this.m_id + 1) * this.m_range;
       if(this.m_id == this.m_pnum - 1) {
-- 
2.34.1