From 5ee15d277b88084242dc2950f6c85e252d13f1b4 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Sat, 3 Dec 2011 16:25:09 -0500
Subject: Change client-side debug to use console.debug

---
 src/settings.sml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/settings.sml')

diff --git a/src/settings.sml b/src/settings.sml
index d66b33ef..f4022cf9 100644
--- a/src/settings.sml
+++ b/src/settings.sml
@@ -270,8 +270,8 @@ val jsFuncsBase = basisM [("alert", "alert"),
                           ("lt_time", "lt"),
                           ("le_time", "le"),
 
-                          ("debug", "alert"),
-                          ("naughtyDebug", "alert"),
+                          ("debug", "uw_debug"),
+                          ("naughtyDebug", "uw_debug"),
 
                           ("floatFromInt", "float"),
                           ("ceil", "ceil"),
-- 
cgit v1.2.3