diff options
Diffstat (limited to 'toplevel/autoinstance.ml')
-rw-r--r-- | toplevel/autoinstance.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/toplevel/autoinstance.ml b/toplevel/autoinstance.ml index 3eb77bc06..97d655da5 100644 --- a/toplevel/autoinstance.ml +++ b/toplevel/autoinstance.ml @@ -184,8 +184,8 @@ let declare_record_instance gr ctx params = const_entry_type=None; const_entry_opaque=false; const_entry_inline_code = false } in - let cst = Declare.declare_constant ident - (DefinitionEntry ce,Decl_kinds.IsDefinition Decl_kinds.StructureComponent) in + let decl = (DefinitionEntry ce,Decl_kinds.IsDefinition Decl_kinds.StructureComponent) in + let cst = Declare.declare_constant ident decl in new_instance_message ident (Typeops.type_of_constant (Global.env()) cst) def let declare_class_instance gr ctx params = |