diff options
| author |  Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2014-05-01 02:31:55 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2014-05-01 02:54:11 +0200 |
| commit | c7b9eebd6e754672d0d57ea6a376bd3d7abf0159 (patch) | |
| tree | d7e825fea4ce8f4a61a2c380403ec04834b87300 /library/declaremods.ml | |
| parent | f3b3b6e4d01080da4f0ce37a06553769e9588d0e (diff) | |
Fixing ml-doc.
Diffstat (limited to 'library/declaremods.ml')
| -rw-r--r-- | library/declaremods.ml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/library/declaremods.ml b/library/declaremods.ml index bb623b7a1..e4f227637 100644 --- a/library/declaremods.ml +++ b/library/declaremods.ml @@ -332,7 +332,7 @@ let () = ModSubstObjs.set_missing_handler handle_missing_substobjs -(** {6 From module expression to substitutive objects *) +(** {6 From module expression to substitutive objects} *) (** Turn a chain of [MSEapply] into the head module_path and the list of module_path parameters (deepest param coming first). @@ -668,7 +668,7 @@ let declare_module interp_modast id args res mexpr_o fs = end -(** {6 Module types : start, end, declare *) +(** {6 Module types : start, end, declare} *) module RawModTypeOps = struct @@ -787,7 +787,7 @@ let declare_include interp me_asts = end -(** {6 Module operations handling summary freeze/unfreeze *) +(** {6 Module operations handling summary freeze/unfreeze} *) let protect_summaries f = let fs = Summary.freeze_summaries ~marshallable:`No in |