fixes on tracking benchmark.

diff --git a/Robust/src/Benchmarks/oooJava/tracking/IDX.java b/Robust/src/Benchmarks/oooJava/tracking/IDX.java
index cbe4868a0f7d1536fdf0a3fa6411bb777fd2df26..e9a9b335cfb93a066f6664c3ff98b20651f8b40e 100644 (file)
--- 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) {