diff options
| author | Ian Lynagh <igloo@earth.li> | 2012-06-14 16:20:06 +0100 |
|---|---|---|
| committer | Ian Lynagh <igloo@earth.li> | 2012-06-14 16:20:06 +0100 |
| commit | 46c184e101092c53e9675bcfcb90cf06e513368d (patch) | |
| tree | 0693a2cd2ee06773587e743f46c2fac51c52b42a /docs | |
| parent | 0f3d8ab9f8c174f9aba5764a6b1edaf2c873b8c6 (diff) | |
| download | haskell-46c184e101092c53e9675bcfcb90cf06e513368d.tar.gz | |
Change -dppr-user-length from a static to a dynamic flag
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> |