From 5d3d71db37d45ab0bcaab45dd582bdf05e8d50d1 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Mon, 23 Mar 2009 18:17:03 +0000
Subject: [PATCH] evil hack...need to fix arity scheme to match paper and
 remove this

---
 Robust/src/Analysis/OwnershipAnalysis/TokenTuple.java | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/Robust/src/Analysis/OwnershipAnalysis/TokenTuple.java b/Robust/src/Analysis/OwnershipAnalysis/TokenTuple.java
index 84c2c26e..6b30e1ba 100644
--- a/Robust/src/Analysis/OwnershipAnalysis/TokenTuple.java
+++ b/Robust/src/Analysis/OwnershipAnalysis/TokenTuple.java
@@ -28,6 +28,7 @@ public class TokenTuple extends Canonical {
     token         = hrn.getID();
     isMultiObject = !hrn.isSingleObject();
     arity         = ARITY_ONE;
+    fixStuff();
   }
 
   public TokenTuple(Integer token,
@@ -38,6 +39,13 @@ public class TokenTuple extends Canonical {
     this.token         = token;
     this.isMultiObject = isMultiObject;
     this.arity         = arity;
+    fixStuff();
+  }
+
+  private void fixStuff() {
+    if (!isMultiObject) {
+	arity=ARITY_ONE;
+    }
   }
 
 
-- 
2.34.1