diff options
Diffstat (limited to 'src')
-rw-r--r-- | src/library/scala/Predef.scala | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/library/scala/Predef.scala b/src/library/scala/Predef.scala index 02b0bfef6b..6662c5cf36 100644 --- a/src/library/scala/Predef.scala +++ b/src/library/scala/Predef.scala @@ -87,7 +87,7 @@ object Predef { throw new java.lang.AssertionError("assertion failed") } - def assert(assertion: Boolean, message: Any) { + def assert(assertion: Boolean, message: => Any) { if (!assertion) throw new java.lang.AssertionError("assertion failed: "+ message) } @@ -97,7 +97,7 @@ object Predef { throw new java.lang.AssertionError("assumption failed") } - def assume(assumption: Boolean, message: Any) { + def assume(assumption: Boolean, message: => Any) { if (!assumption) throw new java.lang.AssertionError("assumption failed: "+ message) } @@ -107,7 +107,7 @@ object Predef { throw new IllegalArgumentException("requirement failed") } - def require(requirement: Boolean, message: Any) { + def require(requirement: Boolean, message: => Any) { if (!requirement) throw new IllegalArgumentException("requirement failed: "+ message) } |