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 | 3d660052d66622debddaa241fad9d6a7c3253ff6 (patch) | |
| tree | c0b8d2ceca6075af7791f2bedd5a503866642d19 /src/settings.sml | |
| parent | 84087a5652e9f616fdf135c6d0da7ddc33d0edfc (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"), |