diff options
| -rw-r--r-- | byterun/floats.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/byterun/floats.c b/byterun/floats.c index ee0dbc070..f147881d6 100644 --- a/byterun/floats.c +++ b/byterun/floats.c @@ -157,7 +157,6 @@ value div_float(f, g) /* ML */ value f, g; { double dg = Double_val(g); - if (dg == 0.0) raise_zero_divide(); return copy_double(Double_val(f) / dg); } |