diff options
Diffstat (limited to 'typing/parmatch.ml')
| -rw-r--r-- | typing/parmatch.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/typing/parmatch.ml b/typing/parmatch.ml index 7310e579ad..fa23730a07 100644 --- a/typing/parmatch.ml +++ b/typing/parmatch.ml @@ -29,7 +29,7 @@ exception Empty (* Empty pattern *) let get_type_descr ty tenv = let ty = Ctype.repr (Ctype.expand_head tenv ty) in match ty.desc with - | Tconstr (path,_,_) -> Env.find_type path tenv + | Tconstr (path,_,_,_) -> Env.find_type path tenv | _ -> fatal_error "Parmatch.get_type_descr" let get_constr tag ty tenv = |