# HG changeset patch
# User Adam Chlipala <adamc@hcoop.net>
# Date 1268178209 18000
# Node ID d6f0e972b706bd55b5cbe87ee3fa6e01fd3ae6ca
# Parent  9d3ccb8b39ac67976267b1b22806430939bd3bc8
Re-add accidentally-removed parsing case for 'effectful'

diff -r 9d3ccb8b39ac -r d6f0e972b706 src/compiler.sml
--- a/src/compiler.sml	Tue Mar 09 18:28:44 2010 -0500
+++ b/src/compiler.sml	Tue Mar 09 18:43:29 2010 -0500
@@ -574,6 +574,7 @@
                               | "script" => scripts := arg :: !scripts
                               | "clientToServer" => clientToServer := ffiS () :: !clientToServer
                               | "safeGet" => safeGets := arg :: !safeGets
+                              | "effectful" => effectful := ffiS () :: !effectful
                               | "benignEffectful" => benignEffectful := ffiS () :: !benignEffectful
                               | "clientOnly" => clientOnly := ffiS () :: !clientOnly
                               | "serverOnly" => serverOnly := ffiS () :: !serverOnly