diff options
Diffstat (limited to 'toplevel/vernacexpr.ml')
| -rw-r--r-- | toplevel/vernacexpr.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/toplevel/vernacexpr.ml b/toplevel/vernacexpr.ml index 30628bfb2b..59e0892511 100644 --- a/toplevel/vernacexpr.ml +++ b/toplevel/vernacexpr.ml @@ -197,6 +197,8 @@ type vernac_expr = (* Modules and Module Types *) | VernacDeclareModule of identifier * module_binder list * (module_type_ast * bool) option * module_ast option + | VernacDefineModule of identifier * + module_binder list * (module_type_ast * bool) option * module_ast option | VernacDeclareModuleType of identifier * module_binder list * module_type_ast option |