diff src/settings.sml @ 1625:bd34a4af516a

Change client-side debug to use console.debug
author Adam Chlipala <adam@chlipala.net>
date Sat, 03 Dec 2011 16:25:09 -0500
parents f96e708b4b93
children 438561303d02
line wrap: on
line diff
--- a/src/settings.sml	Sat Dec 03 16:05:06 2011 -0500
+++ b/src/settings.sml	Sat Dec 03 16:25:09 2011 -0500
@@ -270,8 +270,8 @@
                           ("lt_time", "lt"),
                           ("le_time", "le"),
 
-                          ("debug", "alert"),
-                          ("naughtyDebug", "alert"),
+                          ("debug", "uw_debug"),
+                          ("naughtyDebug", "uw_debug"),
 
                           ("floatFromInt", "float"),
                           ("ceil", "ceil"),