From 1c9f77c48fa0cb4f72e71634653b6325c33547c0 Mon Sep 17 00:00:00 2001 From: "simonpj@microsoft.com" Date: Sun, 22 Apr 2007 21:14:42 +0000 Subject: [PATCH] Put the default value for -dppr-user-length in the manual MERGE TO STABLE Incidentally, this flag should probably be renamed -dppr-user-depth --- docs/users_guide/debugging.xml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/users_guide/debugging.xml b/docs/users_guide/debugging.xml index 2a88767..8a4129b 100644 --- a/docs/users_guide/debugging.xml +++ b/docs/users_guide/debugging.xml @@ -429,7 +429,7 @@ In error messages, expressions are printed to a certain “depth”, with subexpressions beyond the depth replaced by ellipses. This flag sets the - depth. + depth. Its default value is 5. -- 1.7.10.4