diff options
Diffstat (limited to 'toplevel/autoinstance.ml')
| -rw-r--r-- | toplevel/autoinstance.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/toplevel/autoinstance.ml b/toplevel/autoinstance.ml index cc174ebac..f4ea23215 100644 --- a/toplevel/autoinstance.ml +++ b/toplevel/autoinstance.ml @@ -200,7 +200,7 @@ let declare_class_instance gr ctx params = try let cst = Declare.declare_constant ident (ce,Decl_kinds.IsDefinition Decl_kinds.Instance) in - Typeclasses.add_instance (Typeclasses.new_instance cl (Some 100) true cst); + Typeclasses.add_instance (Typeclasses.new_instance cl (Some 100) true (ConstRef cst)); new_instance_message ident typ def with e -> msgnl (str"Error defining instance := "++pr_constr def++str" : "++pr_constr typ++str" "++Cerrors.explain_exn e) |