summaryrefslogtreecommitdiff
path: root/src/settings.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2010-04-29 17:24:42 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2010-04-29 17:24:42 -0400
commit47c5c00d2a954d53cac2de4780883878f7dc0d4c (patch)
tree1e96e71e9ab32ab3f21706e42abbd62676cd1844 /src/settings.sml
parent44cc59b322ce578d742df0313bcc56a8524d08f2 (diff)
Add rand to Basis and handle it in Iflow
Diffstat (limited to 'src/settings.sml')
-rw-r--r--src/settings.sml3
1 files changed, 2 insertions, 1 deletions
diff --git a/src/settings.sml b/src/settings.sml
index 3d163ca5..967efe07 100644
--- a/src/settings.sml
+++ b/src/settings.sml
@@ -115,7 +115,8 @@ val benignBase = basis ["get_cookie",
"onDisconnect",
"onServerError",
"kc",
- "debug"]
+ "debug",
+ "rand"]
val benign = ref benignBase
fun setBenignEffectful ls = benign := S.addList (benignBase, ls)