From efb57925196e6a6384086497ad9966d6159ff09a Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 3 May 2009 12:36:25 -0400
Subject: css demo

---
 src/monoize.sml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/monoize.sml b/src/monoize.sml
index 877e1a2c..4b6b3c5f 100644
--- a/src/monoize.sml
+++ b/src/monoize.sml
@@ -811,7 +811,7 @@ fun monoExp (env, st, fm) (all as (e, loc)) =
                 ((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
-- 
cgit v1.2.3