diff options
| -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 | [] -> |