diff options
Diffstat (limited to 'toplevel/classes.ml')
| -rw-r--r-- | toplevel/classes.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/toplevel/classes.ml b/toplevel/classes.ml index 21838bf684..03fc6bd1fe 100644 --- a/toplevel/classes.ml +++ b/toplevel/classes.ml @@ -105,7 +105,8 @@ let declare_instance_constant k pri global imps ?hook id term termtype = { const_entry_body = term; const_entry_secctx = None; const_entry_type = Some termtype; - const_entry_opaque = false } + const_entry_opaque = false; + const_entry_inline_code = false } in DefinitionEntry entry, kind in let kn = Declare.declare_constant id cdecl in |