diff options
Diffstat (limited to 'parsing')
| -rw-r--r-- | parsing/prettyp.ml | 2 | ||||
| -rw-r--r-- | parsing/prettyp.mli | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/parsing/prettyp.ml b/parsing/prettyp.ml index b39cdeddab..767072e2bb 100644 --- a/parsing/prettyp.ml +++ b/parsing/prettyp.ml @@ -763,7 +763,7 @@ let print_canonical_projections () = open Typeclasses let pr_typeclass env t = - gallina_print_inductive (fst t.cl_impl) + print_ref false t.cl_impl let print_typeclasses () = let env = Global.env () in diff --git a/parsing/prettyp.mli b/parsing/prettyp.mli index c6478376d6..db1d8bb109 100644 --- a/parsing/prettyp.mli +++ b/parsing/prettyp.mli @@ -60,7 +60,7 @@ val print_canonical_projections : unit -> std_ppcmds (* Pretty-printing functions for type classes and instances *) val print_typeclasses : unit -> std_ppcmds -val print_instances : reference -> std_ppcmds +val print_instances : global_reference -> std_ppcmds val inspect : int -> std_ppcmds |