diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/users_guide/flags.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/users_guide/flags.xml b/docs/users_guide/flags.xml index 726fcf803e..cd45040027 100644 --- a/docs/users_guide/flags.xml +++ b/docs/users_guide/flags.xml @@ -2712,7 +2712,7 @@ <row> <entry><option>-dppr-user-length</option></entry> <entry>Set the depth for printing expressions in error msgs</entry> - <entry>static</entry> + <entry>dynamic</entry> <entry>-</entry> </row> <row> |