diff options
| -rw-r--r-- | typing/types.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/typing/types.mli b/typing/types.mli index 62fad9653..30ea7a8e1 100644 --- a/typing/types.mli +++ b/typing/types.mli @@ -272,7 +272,7 @@ and module_declaration = and modtype_declaration = { - mtd_type: module_type option; (* Nonte: abstract *) + mtd_type: module_type option; (* None: abstract *) mtd_attributes: Parsetree.attributes; } |