diff src/settings.sml @ 1250:e80582b927f2

Add rand to Basis and handle it in Iflow
author Adam Chlipala <adamc@hcoop.net>
date Thu, 29 Apr 2010 17:24:42 -0400
parents 5eac14322548
children fc7ecf8883b1
line wrap: on
line diff
--- a/src/settings.sml	Thu Apr 29 11:47:24 2010 -0400
+++ b/src/settings.sml	Thu Apr 29 17:24:42 2010 -0400
@@ -115,7 +115,8 @@
                         "onDisconnect",
                         "onServerError",
                         "kc",
-                        "debug"]
+                        "debug",
+                        "rand"]
 
 val benign = ref benignBase
 fun setBenignEffectful ls = benign := S.addList (benignBase, ls)