diff options
| -rw-r--r-- | src/boot/me/type.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/boot/me/type.ml b/src/boot/me/type.ml index 5eec6860..b364ff56 100644 --- a/src/boot/me/type.ml +++ b/src/boot/me/type.ml @@ -369,7 +369,7 @@ let process_crate (cx:ctxt) (crate:Ast.crate) : unit = | Ast.TY_constrained (ty, _) -> is_comparable_or_ordered comparable ty | Ast.TY_mutable ty -> - ucx.mut_ok && is_comparable_or_ordered comparable ty + is_comparable_or_ordered comparable ty | Ast.TY_box ty -> ucx.box_ok && is_comparable_or_ordered comparable ty in |