diff options
Diffstat (limited to 'src/build')
| -rw-r--r-- | src/build/genprod.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/build/genprod.scala b/src/build/genprod.scala index 05b99d07be..9e05ab6299 100644 --- a/src/build/genprod.scala +++ b/src/build/genprod.scala @@ -58,7 +58,7 @@ object genprod { def zippedAndCommaSeparated(left: List[String], right: List[String]): String = { val sb = new StringBuilder - val it = (left zip right).elements + val it = (left zip right).iterator def append1 = { val p = it.next sb.append(p._1).append(':').append(p._2) |