diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 1995-08-09 13:11:08 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 1995-08-09 13:11:08 +0000 |
| commit | d2e588b4f03ebb1f387460b9ad8c028857c2586c (patch) | |
| tree | 9e49bd3d16f9f01f22f62c7cd8f121a2cbab6e37 | |
| parent | 26b0a043768fac78ee7a8650f13f1800eba03333 (diff) | |
Division par 0.0 ne declenche plus Division_by_zero (c'est le modele
IEEE 754, les amis).
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@189 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -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); } |