use unionUpArity in simple rewrite scenario also
authorjjenista <jjenista>
Thu, 21 Aug 2008 23:56:52 +0000 (23:56 +0000)
committerjjenista <jjenista>
Thu, 21 Aug 2008 23:56:52 +0000 (23:56 +0000)
commit20a60f7d01449b9763dee1e00944e6839fb3b3e1
tree076c8fbe56a6eccd06557f6a252e5511af3258a9
parentb17c5bbd637ff915a48ca536d140c09679ab758f
use unionUpArity in simple rewrite scenario also
Robust/src/Analysis/OwnershipAnalysis/TokenTupleSet.java