Mercurial > urweb

diff src/monoize.sml @ 1619:15e0c935c91b

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Catching integer divisions by zero
author Adam Chlipala <adam@chlipala.net>
date Sat, 03 Dec 2011 09:44:07 -0500
parents da788bd72c9e
children 2b312f6d4007
line wrap: on
line diff
--- a/src/monoize.sml	Wed Nov 30 15:28:56 2011 -0500
+++ b/src/monoize.sml	Sat Dec 03 09:44:07 2011 -0500
@@ -1031,7 +1031,7 @@
                        floatBin "+",
                        floatBin "-",
                        floatBin "*",
-                       floatBin "/",
+                       floatBin "fdiv",
                        floatBin "fmod")
             end