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/fuzz.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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

diff --git a/src/boot/fe/fuzz.ml b/src/boot/fe/fuzz.ml
index 734ef06c..2c465be4 100644
--- a/src/boot/fe/fuzz.ml
+++ b/src/boot/fe/fuzz.ml
@@ -104,7 +104,7 @@ let rec generate_mod_item (mis:mod_items) (cx:ctxt) : unit =
     match Random.int 2 with
         0 ->
           let ty = generate_ty cx in
-          let st = Ast.STRAT_value in
+          let st = Ast.LAYER_value in
             decl (MOD_ITEM_type (st, ty))
       | _ ->
           let mis' = Hashtbl.create 0 in
-- 
cgit v1.2.3