diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/dotnet-library/scala/Predef.scala | 2 | ||||
| -rw-r--r-- | src/library/scala/Predef.scala | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/src/dotnet-library/scala/Predef.scala b/src/dotnet-library/scala/Predef.scala index 11d859df05..c58ef1bc19 100644 --- a/src/dotnet-library/scala/Predef.scala +++ b/src/dotnet-library/scala/Predef.scala @@ -94,7 +94,7 @@ object Predef { def assume(assumption: Boolean, message: Any) { if (!assumption) - throw new System.Security.SecurityException("assumptopm failed: "+ message) + throw new System.Security.SecurityException("assumption failed: "+ message) } def require(requirement: Boolean) { diff --git a/src/library/scala/Predef.scala b/src/library/scala/Predef.scala index 4567f039fe..3246d5e726 100644 --- a/src/library/scala/Predef.scala +++ b/src/library/scala/Predef.scala @@ -99,7 +99,7 @@ object Predef { def assume(assumption: Boolean, message: Any) { if (!assumption) - throw new java.lang.AssertionError("assumptopm failed: "+ message) + throw new java.lang.AssertionError("assumption failed: "+ message) } def require(requirement: Boolean) { |