From d2bd07dcb02783063375b6c8532fceaf9fa9d50f Mon Sep 17 00:00:00 2001
From: Graydon Hoare <graydon@mozilla.com>
Date: Tue, 19 Apr 2011 13:35:49 -0700
Subject: Remove effect system from src.

---
 src/boot/driver/session.ml | 1 -
 1 file changed, 1 deletion(-)

(limited to 'src/boot/driver/session.ml')

diff --git a/src/boot/driver/session.ml b/src/boot/driver/session.ml
index ac56f855..2f38ba4d 100644
--- a/src/boot/driver/session.ml
+++ b/src/boot/driver/session.ml
@@ -25,7 +25,6 @@ type sess =
   mutable sess_log_type: bool;
   mutable sess_log_simplify: bool;
   mutable sess_log_layer: bool;
-  mutable sess_log_effect: bool;
   mutable sess_log_typestate: bool;
   mutable sess_log_dead: bool;
   mutable sess_log_loop: bool;
-- 
cgit v1.2.3