From 0c209d971e2813d9a5e3cac699f3f5c8ad278f7d 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/compiler.sig | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/compiler.sig')

diff --git a/src/compiler.sig b/src/compiler.sig
index 3d77a4cd..63da4e5c 100644
--- a/src/compiler.sig
+++ b/src/compiler.sig
@@ -44,6 +44,7 @@ signature COMPILER = sig
          scripts : string list,
          clientToServer : Settings.ffi list,
          effectful : Settings.ffi list,
+         benignEffectful : Settings.ffi list,
          clientOnly : Settings.ffi list,
          serverOnly : Settings.ffi list,
          jsFuncs : (Settings.ffi * string) list,
-- 
cgit v1.2.3