diff options
Diffstat (limited to 'parsing/printer.ml')
| -rw-r--r-- | parsing/printer.ml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/parsing/printer.ml b/parsing/printer.ml index eacad74c4c..d9dced7916 100644 --- a/parsing/printer.ml +++ b/parsing/printer.ml @@ -540,9 +540,9 @@ let cmap_to_list m = Cmap.fold (fun k v acc -> v :: acc) m [] open Typeclasses -let pr_instance i = - pr_global (ConstRef (instance_impl i)) - +let pr_instance i = + pr_global (instance_impl i) + let pr_instance_gmap insts = prlist_with_sep fnl (fun (gr, insts) -> prlist_with_sep fnl pr_instance (cmap_to_list insts)) |