From a98b2ebb4ad090d3d7eaa9ab3b1d98be0867e990 Mon Sep 17 00:00:00 2001
From: Graydon Hoare <graydon@mozilla.com>
Date: Fri, 3 Dec 2010 12:15:32 -0800
Subject: Change 'stratum' to the friendlier term 'layer'.

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

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

diff --git a/src/boot/driver/session.ml b/src/boot/driver/session.ml
index d79b7d20..0b02096f 100644
--- a/src/boot/driver/session.ml
+++ b/src/boot/driver/session.ml
@@ -24,7 +24,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_layer: bool;
   mutable sess_log_effect: bool;
   mutable sess_log_typestate: bool;
   mutable sess_log_dead: bool;
-- 
cgit v1.2.3