diff options
Diffstat (limited to 'src/scalacheck')
| -rw-r--r-- | src/scalacheck/org/scalacheck/Commands.scala | 4 | ||||
| -rw-r--r-- | src/scalacheck/org/scalacheck/ConsoleReporter.scala | 6 |
2 files changed, 5 insertions, 5 deletions
diff --git a/src/scalacheck/org/scalacheck/Commands.scala b/src/scalacheck/org/scalacheck/Commands.scala index 5602eea151..952dd15953 100644 --- a/src/scalacheck/org/scalacheck/Commands.scala +++ b/src/scalacheck/org/scalacheck/Commands.scala @@ -26,7 +26,7 @@ trait Commands extends Prop { class Binding(private val key: State) { def get: Any = bindings.find(_._1 eq key) match { - case None => system.error("No value bound") + case None => sys.error("No value bound") case Some(x) => x } } @@ -139,7 +139,7 @@ trait Commands extends Prop { case Cmds(Nil, _) => proved case Cmds(c::cs, s::ss) => c.postCondition(s,c.nextState(s),c.run(s)) && runCommands(Cmds(cs,ss)) - case _ => system.error("Should not be here") + case _ => sys.error("Should not be here") } private def commandsProp: Prop = { diff --git a/src/scalacheck/org/scalacheck/ConsoleReporter.scala b/src/scalacheck/org/scalacheck/ConsoleReporter.scala index 5dc02b90ad..a94d32797f 100644 --- a/src/scalacheck/org/scalacheck/ConsoleReporter.scala +++ b/src/scalacheck/org/scalacheck/ConsoleReporter.scala @@ -79,10 +79,10 @@ object ConsoleReporter { res.status match { case Test.Proved(_) => {} case Test.Passed => {} - case f @ Test.Failed(_, _) => system.error(m + f) + case f @ Test.Failed(_, _) => sys.error(m + f) case Test.Exhausted => {} - case f @ Test.GenException(_) => system.error(m + f) - case f @ Test.PropException(_, _, _) => system.error(m + f) + case f @ Test.GenException(_) => sys.error(m + f) + case f @ Test.PropException(_, _, _) => sys.error(m + f) } } |