aboutsummaryrefslogtreecommitdiffhomepage
path: root/src/monoize.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2011-12-03 09:44:07 -0500
committerGravatar Adam Chlipala <adam@chlipala.net>2011-12-03 09:44:07 -0500
commit7136358c17f8193173e8a0a9469821039212d879 (patch)
tree55e7ce9758b2233896d59392e6b86614abab533a /src/monoize.sml
parentd35896d2f29d23c3cd4c180f9249e44ebf7ed208 (diff)
Catching integer divisions by zero
Diffstat (limited to 'src/monoize.sml')
-rw-r--r--src/monoize.sml2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/monoize.sml b/src/monoize.sml
index 4a70c012..e4ed6562 100644
--- a/src/monoize.sml
+++ b/src/monoize.sml
@@ -1031,7 +1031,7 @@ fun monoExp (env, st, fm) (all as (e, loc)) =
floatBin "+",
floatBin "-",
floatBin "*",
- floatBin "/",
+ floatBin "fdiv",
floatBin "fmod")
end