summaryrefslogtreecommitdiff
path: root/src/settings.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2011-01-11 18:04:52 -0500
committerGravatar Adam Chlipala <adam@chlipala.net>2011-01-11 18:04:52 -0500
commit4eb2a196fa24d52462f3f325d73952fe2d1c12cd (patch)
tree5e3b768a97aef4741f8ba13b7b6d80490fe39b12 /src/settings.sml
parent138f64b8f02f05e6073f61b1db2c3d5e805b75c0 (diff)
Some more string parsing functions; naughtyDebug
Diffstat (limited to 'src/settings.sml')
-rw-r--r--src/settings.sml1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/settings.sml b/src/settings.sml
index 29bbb1d8..ec0f582d 100644
--- a/src/settings.sml
+++ b/src/settings.sml
@@ -138,6 +138,7 @@ val benignBase = basis ["get_cookie",
"onServerError",
"kc",
"debug",
+ "naughtyDebug",
"rand"]
val benign = ref benignBase