updated for-comprehension syntax

1 files changed, 7 insertions, 7 deletions

diff --git a/src/dotnet-library/scala/runtime/RichString.scala b/src/dotnet-library/scala/runtime/RichString.scala
index 0e0fc90ab1..1073acfe07 100644
--- a/src/dotnet-library/scala/runtime/RichString.scala
+++ b/src/dotnet-library/scala/runtime/RichString.scala
@@ -1,7 +1,7 @@
 /*                     __                                               *\
 **     ________ ___   / /  ___     Scala API                            **
-**    / __/ __// _ | / /  / _ |    (c) 2002-2006, LAMP/EPFL             **
-**  __\ \/ /__/ __ |/ /__/ __ |                                         **
+**    / __/ __// _ | / /  / _ |    (c) 2002-2007, LAMP/EPFL             **
+**  __\ \/ /__/ __ |/ /__/ __ |    http://scala-lang.org/               **
 ** /____/\___/_/ |_/____/_/ | |                                         **
 **                          |/                                          **
 \*                                                                      */
@@ -83,8 +83,8 @@ final class RichString(val self: String) extends Proxy with Seq[Char] with Order
     def next(): String = {
       if (index >= len) throw new NoSuchElementException("next on empty iterator")
       val start = index
-      while (index < len && !isLineBreak(apply(index))) index = index + 1
-      index = index + 1
+      while (index < len && !isLineBreak(apply(index))) index += 1
+      index += 1
       self.substring(start, index min len)
     }
   }
@@ -113,10 +113,10 @@ final class RichString(val self: String) extends Proxy with Seq[Char] with Order
    */
   def stripMargin(marginChar: Char): String = {
     val buf = new scala.compat.StringBuilder()
-    for (val line <- linesWithSeparators) {
+    for (line <- linesWithSeparators) {
       val len = line.length
-      var index = 0;
-      while (index < len && line.charAt(index) <= ' ') index = index + 1
+      var index = 0
+      while (index < len && line.charAt(index) <= ' ') index += 1
       buf append
         (if (index < len && line.charAt(index) == marginChar) line.substring(index + 1) else line)
     }