From 9d9d6e174ade32fe070c4b72caaae3bf32e032b8 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Wed, 18 Nov 2009 22:24:27 +0000
Subject: [PATCH] bug fix

---
 Robust/src/ClassLibrary/String.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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++;
       }
-- 
2.34.1