Fix pretty printing.  Reinstate the code to decrement the print depth in the default printer which had somehow been lost.
Fix pretty printing.  Reinstate the code to decrement the print depth in the default printer which had somehow been lost.

git-svn-id: 98787b36aaefbae4b30fa755be920954cd25e1e4@1052 ae7d391e-3f74-4a2b-a0db-a8776840fd2a

mn200/polyml,polyml/polyml,dcjm/polyml,polyml/polyml,mn200/polyml,polyml/polyml,mn200/polyml,polyml/polyml,dcjm/polyml,dcjm/polyml,mn200/polyml,dcjm/polyml