From dc5f714c1f197e21b44bd0c79b34520235f017f6 Mon Sep 17 00:00:00 2001
From: Joachim Klein <klein@tcs.inf.tu-dresden.de>
Date: Wed, 6 Jan 2016 09:26:12 +0000
Subject: [PATCH] AcceptanceRabin: fix name typo in complementation to Streett

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11112 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/acceptance/AcceptanceRabin.java | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/prism/src/acceptance/AcceptanceRabin.java b/prism/src/acceptance/AcceptanceRabin.java
index 322d5bc9..b4759e29 100644
--- a/prism/src/acceptance/AcceptanceRabin.java
+++ b/prism/src/acceptance/AcceptanceRabin.java
@@ -183,16 +183,16 @@ public class AcceptanceRabin
 	 */
 	public AcceptanceStreett complementToStreett()
 	{
-		AcceptanceStreett accRabin = new AcceptanceStreett();
+		AcceptanceStreett accStreett = new AcceptanceStreett();
 
 		for (RabinPair accPairRabin : this) {
 			BitSet R = (BitSet) accPairRabin.getK().clone();
 			BitSet G = (BitSet) accPairRabin.getL().clone();
 			AcceptanceStreett.StreettPair accPairStreett = new AcceptanceStreett.StreettPair(R, G);
-			accRabin.add(accPairStreett);
+			accStreett.add(accPairStreett);
 		}
 
-		return accRabin;
+		return accStreett;
 	}
 
 	@Override