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