summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2011-12-03 16:25:09 -0500
committerGravatar Adam Chlipala <adam@chlipala.net>2011-12-03 16:25:09 -0500
commit3d660052d66622debddaa241fad9d6a7c3253ff6 (patch)
treec0b8d2ceca6075af7791f2bedd5a503866642d19 /src
parent84087a5652e9f616fdf135c6d0da7ddc33d0edfc (diff)
Change client-side debug to use console.debug
Diffstat (limited to 'src')
-rw-r--r--src/settings.sml4
1 files changed, 2 insertions, 2 deletions
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"),