diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2011-12-03 09:44:07 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2011-12-03 09:44:07 -0500 |
| commit | 7136358c17f8193173e8a0a9469821039212d879 (patch) | |
| tree | 55e7ce9758b2233896d59392e6b86614abab533a /src/monoize.sml | |
| parent | d35896d2f29d23c3cd4c180f9249e44ebf7ed208 (diff) | |
Catching integer divisions by zero
Diffstat (limited to 'src/monoize.sml')
| -rw-r--r-- | src/monoize.sml | 2 |
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 |