From 7db115834f24eb9d9ccbd2468c9145fdf86be514 Mon Sep 17 00:00:00 2001
From: Graydon Hoare <graydon@mozilla.com>
Date: Tue, 2 Nov 2010 15:24:46 -0700
Subject: Split out stratum-checking pass, implement more-strict (overly
 aggressive) impure-effect checking.

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

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

diff --git a/src/boot/driver/session.ml b/src/boot/driver/session.ml
index 39848982..49242ac6 100644
--- a/src/boot/driver/session.ml
+++ b/src/boot/driver/session.ml
@@ -23,6 +23,7 @@ type sess =
   mutable sess_log_resolve: bool;
   mutable sess_log_type: bool;
   mutable sess_log_simplify: bool;
+  mutable sess_log_stratum: bool;
   mutable sess_log_effect: bool;
   mutable sess_log_typestate: bool;
   mutable sess_log_dead: bool;
-- 
cgit v1.2.3