diff options
Diffstat (limited to 'tests/pos/t0031.scala')
-rw-r--r-- | tests/pos/t0031.scala | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/tests/pos/t0031.scala b/tests/pos/t0031.scala index d4050c818..6070a4683 100644 --- a/tests/pos/t0031.scala +++ b/tests/pos/t0031.scala @@ -7,12 +7,12 @@ object Main { def require[a](precondition: => Boolean)(command: => a): Ensure[a] = if (precondition) new Ensure[a] { - def ensure(postcondition: a => Boolean): a = { - val result = command; - if (postcondition(result)) result - else sys.error("Assertion error") + def ensure(postcondition: a => Boolean): a = { + val result = command; + if (postcondition(result)) result + else sys.error("Assertion error") } - } + } else sys.error("Assertion error"); @@ -22,7 +22,7 @@ object Main { } ensure (result => s contains result); def main(args: Array[String]) = { - val s = List(1, 2); + val s = List(1, 2); Console.println(arb(s)) } |