| Index: runtime/lib/integers.dart
|
| diff --git a/runtime/lib/integers.dart b/runtime/lib/integers.dart
|
| index f9f2014628973005f203ff61cb26d8d8d0770403..90a7f751b676f64b74017686fca114864b3faf61 100644
|
| --- a/runtime/lib/integers.dart
|
| +++ b/runtime/lib/integers.dart
|
| @@ -19,7 +19,7 @@ class IntegerImplementation {
|
| return other.mulFromInteger(this);
|
| }
|
| num operator ~/(num other) {
|
| - if (other == 0) {
|
| + if ((other is int) && (other == 0)) {
|
| throw const IntegerDivisionByZeroException();
|
| }
|
| return other.truncDivFromInteger(this);
|
|
|