diff options
| author | Regis-Gianas | 2014-11-04 21:49:35 +0100 |
|---|---|---|
| committer | Regis-Gianas | 2014-11-04 22:51:36 +0100 |
| commit | af0325ee57fad526be8f3afab5335faaf82cb0c8 (patch) | |
| tree | 4addd66c9c21b8c8655599b2bf13be1c3b6d5321 | |
| parent | 830321178ad0b71aea92b1fabaeaa208601ea9ae (diff) | |
lib/Ppconstr: Cosmetics.
| -rw-r--r-- | printing/ppconstr.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/printing/ppconstr.ml b/printing/ppconstr.ml index 2039fdaa44..c36ee21eb5 100644 --- a/printing/ppconstr.ml +++ b/printing/ppconstr.ml @@ -75,7 +75,7 @@ end) = struct let return unp pp1 pp2 = tag_unparsing unp (pp1 ++ pp2) in (* Warning: The following function enforces a very precise order of - evaluation of subcomponent. + evaluation of sub-components. Do not modify it unless you know what you are doing! *) let rec aux = function | [] -> |