aboutsummaryrefslogtreecommitdiff
path: root/src/boot/fe/fuzz.ml
diff options
context:
space:
mode:
Diffstat (limited to 'src/boot/fe/fuzz.ml')
-rw-r--r--src/boot/fe/fuzz.ml2
1 files changed, 1 insertions, 1 deletions
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