diff options
| -rw-r--r-- | src/boot/me/resolve.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/boot/me/resolve.ml b/src/boot/me/resolve.ml index 489655f3..1f563c76 100644 --- a/src/boot/me/resolve.ml +++ b/src/boot/me/resolve.ml @@ -906,7 +906,7 @@ let pattern_resolving_visitor * are only looking at the fact that it's a tag-like type at all, and * asking for its arity, it doesn't matter that the possibly parametric * tag type has its parameters unbound here. *) - let tag_ty = + let tag_ty = fn_output_ty (Hashtbl.find cx.ctxt_all_item_types tag_ctor_id) in begin |