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/fe/token.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/boot/fe/token.ml')

diff --git a/src/boot/fe/token.ml b/src/boot/fe/token.ml
index 6c2282de..7467d4e6 100644
--- a/src/boot/fe/token.ml
+++ b/src/boot/fe/token.ml
@@ -83,7 +83,7 @@ type token =
   (* Opacity keywords *)
   | ABS
 
-  (* Stratum keywords *)
+  (* Layer keywords *)
   | STATE
   | GC
 
@@ -246,7 +246,7 @@ let rec string_of_tok t =
     (* Opacity keywords *)
     | ABS        -> "abs"
 
-    (* Stratum keywords *)
+    (* Layer keywords *)
     | STATE      -> "state"
     | GC         -> "gc"
 
-- 
cgit v1.2.3