diff options
Diffstat (limited to 'test/files/run/Course-2002-13.scala')
-rw-r--r-- | test/files/run/Course-2002-13.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/files/run/Course-2002-13.scala b/test/files/run/Course-2002-13.scala index 541008bb1b..3a6b7c8718 100644 --- a/test/files/run/Course-2002-13.scala +++ b/test/files/run/Course-2002-13.scala @@ -166,7 +166,7 @@ object Programs { (lhs.tyvars ::: (rhs flatMap (t => t.tyvars))).removeDuplicates; def newInstance = { var s: Subst = List(); - for (val a <- tyvars) do { s = Binding(a, newVar(a)) :: s } + for (val a <- tyvars) { s = Binding(a, newVar(a)) :: s } Clause(lhs map s, rhs map (t => t map s)) } override def toString() = |