diff options
Diffstat (limited to 'kernel/declarations.ml')
| -rw-r--r-- | kernel/declarations.ml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/kernel/declarations.ml b/kernel/declarations.ml index ae45c932cd..ee1167b8f4 100644 --- a/kernel/declarations.ml +++ b/kernel/declarations.ml @@ -168,7 +168,9 @@ and module_expr_body = * constraints and module_specification_body = - module_type_body * module_path option * constraints + { msb_modtype : module_type_body; + msb_equiv : module_path option; + msb_constraints : constraints } and structure_elem_body = | SEBconst of constant_body |