Mercurial > urweb

diff src/monoize.sml @ 775:a8bdd5a0d9b0

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
css demo
author Adam Chlipala <adamc@hcoop.net>
date Sun, 03 May 2009 12:36:25 -0400
parents 7f653298dd66
children 87a7702d681d
line wrap: on
line diff
--- a/src/monoize.sml	Sun May 03 12:24:39 2009 -0400
+++ b/src/monoize.sml	Sun May 03 12:36:25 2009 -0400
@@ -811,7 +811,7 @@
                 ((L'.EAbs ("r", numTy t, (L'.TFun (t, (L'.TFun (t, t), loc)), loc),
                            (L'.EField ((L'.ERel 0, loc), "Times"), loc)), loc), fm)
             end
-          | L.ECApp ((L.EFfi ("Basis", "div"), _), t) =>
+          | L.ECApp ((L.EFfi ("Basis", "divide"), _), t) =>
             let
                 val t = monoType env t
             in