diff options
Diffstat (limited to 'test/files/run/Course-2002-09.scala')
-rw-r--r-- | test/files/run/Course-2002-09.scala | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/files/run/Course-2002-09.scala b/test/files/run/Course-2002-09.scala index 4238402263..b984fbf9d2 100644 --- a/test/files/run/Course-2002-09.scala +++ b/test/files/run/Course-2002-09.scala @@ -108,7 +108,7 @@ class Quantity() { if (v != v1) error("Error! contradiction: " + v + " and " + v1); case None() => informant = setter; value = Some(v); - for (val c <- constraints; !(c == informant)) do { + for (val c <- constraints; !(c == informant)) { c.newValue; } } @@ -117,7 +117,7 @@ class Quantity() { def forgetValue(retractor: Constraint): Unit = { if (retractor == informant) { value = None(); - for (val c <- constraints; !(c == informant)) do c.dropValue; + for (val c <- constraints; !(c == informant)) c.dropValue; } } def forgetValue: Unit = forgetValue(NoConstraint); |