diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2011-12-03 16:25:09 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2011-12-03 16:25:09 -0500 |
| commit | 5ee15d277b88084242dc2950f6c85e252d13f1b4 (patch) | |
| tree | c0b8d2ceca6075af7791f2bedd5a503866642d19 /src/settings.sml | |
| parent | 61da05eb589da322a312837c37c953926961faf7 (diff) | |
Change client-side debug to use console.debug
Diffstat (limited to 'src/settings.sml')
| -rw-r--r-- | src/settings.sml | 4 |
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"), |