diff options
Diffstat (limited to 'src/boot/fe/fuzz.ml')
| -rw-r--r-- | src/boot/fe/fuzz.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/boot/fe/fuzz.ml b/src/boot/fe/fuzz.ml index 47a708dc..e8db9f39 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 eff = PURE in + let eff = Ast.EFF_pure in decl (MOD_ITEM_type (eff, ty)) | _ -> let mis' = Hashtbl.create 0 in |