src/Pure/General/toml.scala

 
     def keys(ks: Keys): Str = ks.mkString(".")
 
     def inline(t: T, indent: Int = 0): Str = {
       val result = new StringBuilder
-      def indentation(i: Int): Unit = for (_ <- Range(0, i)) result ++= "  "
-
-      indentation(indent)
+
+      result ++= Symbol.spaces(indent * 2)
       t match {
         case s: String =>
           if (s.rep.contains("\n") && s.rep.length > 20) result ++= multiline_basic_string(s.rep)
           else result ++= basic_string(s.rep)
         case i: Integer => result ++= i.rep.toString

             result ++= "[\n"
             a.any.values.foreach { elem =>
               result ++= inline(elem, indent + 1)
               result ++= ",\n"
             }
-            indentation(indent)
+            result ++= Symbol.spaces(indent * 2)
             result += ']'
           }
         case table: Table =>
           if (table.is_empty) result ++= "{}"
           else {