diff options
Diffstat (limited to 'src/rewrites.ml')
| -rw-r--r-- | src/rewrites.ml | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/src/rewrites.ml b/src/rewrites.ml index 50a8ae68..0b4a864c 100644 --- a/src/rewrites.ml +++ b/src/rewrites.ml @@ -1952,10 +1952,8 @@ let rewrite_constraint = rewrite_defs_base { rewriters_base with rewrite_exp = (fun _ -> fold_exp rewrite_e_constraint) } -let rewrite_type_union_typs rw_typ (Tu_aux (tu, annot)) = - match tu with - | Tu_id id -> Tu_aux (Tu_id id, annot) - | Tu_ty_id (typ, id) -> Tu_aux (Tu_ty_id (rw_typ typ, id), annot) +let rewrite_type_union_typs rw_typ (Tu_aux (Tu_ty_id (typ, id), annot)) = + Tu_aux (Tu_ty_id (rw_typ typ, id), annot) let rewrite_type_def_typs rw_typ rw_typquant rw_typschm (TD_aux (td, annot)) = match td with |