From 7178961bfdebdcfbf78194c9592ea1422362f2e6 Mon Sep 17 00:00:00 2001
From: jjenista <jjenista>
Date: Wed, 20 Jan 2010 05:42:57 +0000
Subject: [PATCH] added a benchmark for disjointness reporting

---
 Robust/src/Benchmarks/Ownership/makeTable.sh | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/Robust/src/Benchmarks/Ownership/makeTable.sh b/Robust/src/Benchmarks/Ownership/makeTable.sh
index 83641820..aa50466a 100755
--- a/Robust/src/Benchmarks/Ownership/makeTable.sh
+++ b/Robust/src/Benchmarks/Ownership/makeTable.sh
@@ -66,7 +66,10 @@ BDIR[20]=WebServer
 NAME[21]=WebServer2
 BDIR[21]=WebServerTag
 
-NUMBENCHMARKS=22
+NAME[22]=Tracking
+BDIR[22]=Scheduling/Tracking
+
+NUMBENCHMARKS=23
 
 
 
-- 
2.34.1