Fix ocamlnet.

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11889 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
master
Alain Frisch 2011-12-20 10:35:11 +00:00
parent b51df176a8
commit e915c394e7
1 changed files with 1 additions and 1 deletions

View File

@ -112,7 +112,7 @@ let match_printer_type ppf desc typename =
let ty_arg = Ctype.newvar() in
Ctype.unify !toplevel_env
(Ctype.newconstr printer_type [ty_arg])
(Ctype.instance desc.val_type);
(Ctype.instance_def desc.val_type);
Ctype.end_def();
Ctype.generalize ty_arg;
ty_arg