diff options
Diffstat (limited to 'kernel/mod_typing.ml')
| -rw-r--r-- | kernel/mod_typing.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kernel/mod_typing.ml b/kernel/mod_typing.ml index 67db4e806..befa822ce 100644 --- a/kernel/mod_typing.ml +++ b/kernel/mod_typing.ml @@ -353,7 +353,7 @@ let rec translate_struct_include_module_entry env mp inl = function | MSEapply (fexpr,mexpr) -> let ftrans = translate_struct_include_module_entry env mp inl fexpr in translate_apply env inl ftrans mexpr (fun _ _ _ -> None) - | _ -> error ("You cannot Include a high-order structure.") + | _ -> Modops.error_higher_order_include () let rec add_struct_expr_constraints env = function | SEBident _ -> env |