X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=Robust%2Fsrc%2FClassLibrary%2FHashMapIterator.java;h=d3516022cb21cd0665b1db95fa2c7a33922c1ebc;hb=HEAD;hp=e297cf5f948760ff8bee10b308fe11ceb52767fe;hpb=458a6e85eb25adc3217851c082463dd3d2953e54;p=IRC.git

diff --git a/Robust/src/ClassLibrary/HashMapIterator.java b/Robust/src/ClassLibrary/HashMapIterator.java
index e297cf5f..d3516022 100644
--- a/Robust/src/ClassLibrary/HashMapIterator.java
+++ b/Robust/src/ClassLibrary/HashMapIterator.java
@@ -25,9 +25,9 @@ class HashMapIterator extends Iterator {
       he=he.next;
       Object o;
       if (type==0)
-	o=he.key;
+        o=he.key;
       else
-	o=he.value;
+        o=he.value;
       return o;
     }
     while((bin<map.table.length)&&
@@ -37,15 +37,15 @@ class HashMapIterator extends Iterator {
       he=map.table[bin++];
       Object o;
       if (type==0)
-	o=he.key;
+        o=he.key;
       else
-	o=he.value;
+        o=he.value;
       return o;
     } else System.error();
   }
 
   public void remove() {
-    System.out.println( "HashMapIterator.remove() not implemented." );
-    System.exit( -1 );
+    System.out.println("HashMapIterator.remove() not implemented.");
+    System.exit(-1);
   }
 }