diff options
Diffstat (limited to 'parsing/prettyp.ml')
-rw-r--r-- | parsing/prettyp.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/parsing/prettyp.ml b/parsing/prettyp.ml index f96a94fb4..b7e218719 100644 --- a/parsing/prettyp.ml +++ b/parsing/prettyp.ml @@ -786,7 +786,7 @@ let print_typeclasses () = let pr_instance env i = (* gallina_print_constant_with_infos i.is_impl *) (* lighter *) - print_ref false (ConstRef (instance_impl i)) + print_ref false (instance_impl i) let print_all_instances () = let env = Global.env () in |