From: bdemsky <bdemsky>
Date: Wed, 18 Nov 2009 22:24:27 +0000 (+0000)
Subject: bug fix
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=IRC.git;a=commitdiff_plain;h=9d9d6e174ade32fe070c4b72caaae3bf32e032b8

bug fix
---

diff --git a/Robust/src/ClassLibrary/String.java b/Robust/src/ClassLibrary/String.java
index 614e98dd..abbbaf3b 100644
--- a/Robust/src/ClassLibrary/String.java
+++ b/Robust/src/ClassLibrary/String.java
@@ -402,12 +402,12 @@ public class String {
 	  t.offset=oldi;
 	  t.count=i-oldi;
 	  splitted.addElement(t);
-	  oldi=i;
 
 	  // skip extra spaces
 	  while( i < count && ( value[i+offset] == '\n' || value[i+offset] == '\t' || value[i+offset] == ' ')) {
 	      i++;
 	  }
+	  oldi=i;
       } else {
 	  i++;
       }