From af0325ee57fad526be8f3afab5335faaf82cb0c8 Mon Sep 17 00:00:00 2001 From: Regis-Gianas Date: Tue, 4 Nov 2014 21:49:35 +0100 Subject: lib/Ppconstr: Cosmetics. --- printing/ppconstr.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 | [] -> -- cgit v1.2.3