From f59bbf0b942cd888c798c06ba6841bf94562a438 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sat, 27 Feb 2010 16:49:11 -0500
Subject: benignEffectful

---
 src/demo.sml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/demo.sml')

diff --git a/src/demo.sml b/src/demo.sml
index 6280400b..6ae64264 100644
--- a/src/demo.sml
+++ b/src/demo.sml
@@ -105,6 +105,7 @@ fun make' {prefix, dirname, guided} =
             scripts = [],
             clientToServer = [],
             effectful = [],
+            benignEffectful = [],
             clientOnly = [],
             serverOnly = [],
             jsFuncs = [],
-- 
cgit v1.2.3