From 6502b10931983e21dfe6da0d13c6245dd2a7e691 Mon Sep 17 00:00:00 2001
From: buraq <buraq@epfl.ch>
Date: Tue, 28 Oct 2003 14:42:08 +0000
Subject: cleanup

---
 .../scalac/transformer/matching/NondetWordAutom.java    | 17 +++++++----------
 1 file changed, 7 insertions(+), 10 deletions(-)

(limited to 'sources')

diff --git a/sources/scalac/transformer/matching/NondetWordAutom.java b/sources/scalac/transformer/matching/NondetWordAutom.java
index d0133955a8..513a49b115 100644
--- a/sources/scalac/transformer/matching/NondetWordAutom.java
+++ b/sources/scalac/transformer/matching/NondetWordAutom.java
@@ -168,16 +168,13 @@ public class NondetWordAutom  {
        */
       TreeSet getSide ( TreeSet Qsrc, Object label ) {
             TreeSet Qdest = new TreeSet();
-            for( Iterator it = Qsrc.iterator(); it.hasNext(); ) {
-                  // state
-                  int q1 = ((Integer) it.next()).intValue();
-                  Vector ps = (Vector) deltaq[ q1 ].get( label );
-
-                  //System.out.println( "q1 "+q1+" targ:"+ps.toString() );
-                  if( ps!=null )
-                        Qdest.addAll( ps );
-
-                  Qdest.addAll( defaultq( q1 ) );
+            for( Iterator it = Qsrc.iterator(); it.hasNext(); ) {// state
+                  int q = ((Integer) it.next()).intValue();
+                  Vector ps = (Vector) deltaq[ q ].get( label );
+                  if( ps!=null ) {
+		      Qdest.addAll( ps );
+                  }
+                  Qdest.addAll( defaultq( q ) );
             }
             return Qdest;
       }
-- 
cgit v1.2.3