diff options
author | Thomas Refis <thomas.refis@gmail.com> | 2018-02-12 16:37:35 +0000 |
---|---|---|
committer | Thomas Refis <thomas.refis@gmail.com> | 2018-02-27 14:52:24 +0000 |
commit | 7f0e819bde632d2491ffc3a99e9814343a4daf6f (patch) | |
tree | fb9c45074977830cbc42e1d8d6a667d3660c1239 /debugger/loadprinter.ml | |
parent | 2387760625fb0fb7fbbada56664ecc8236e95b5a (diff) | |
download | ocaml-7f0e819bde632d2491ffc3a99e9814343a4daf6f.tar.gz |
we don't need an env to take instances anymore
Diffstat (limited to 'debugger/loadprinter.ml')
-rw-r--r-- | debugger/loadprinter.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debugger/loadprinter.ml b/debugger/loadprinter.ml index 54a2c16707..9ab0d68096 100644 --- a/debugger/loadprinter.ml +++ b/debugger/loadprinter.ml @@ -124,7 +124,7 @@ let match_printer_type desc typename = let ty_arg = Ctype.newvar() in Ctype.unify Env.empty (Ctype.newconstr printer_type [ty_arg]) - (Ctype.instance Env.empty desc.val_type); + (Ctype.instance desc.val_type); Ctype.end_def(); Ctype.generalize ty_arg; ty_arg |