# HG changeset patch # User jwe # Date 796695639 0 # Node ID 1f5ff647c7ab542f9835c8ef85b63d0813f7f502 # Parent 97c541091d3bfe6e624f6874b89bae2ad536d06e [project @ 1995-04-01 00:20:39 by jwe] diff -r 97c541091d3b -r 1f5ff647c7ab src/tc-rep.cc --- a/src/tc-rep.cc Fri Mar 31 23:16:28 1995 +0000 +++ b/src/tc-rep.cc Sat Apr 01 00:20:39 1995 +0000 @@ -1784,9 +1784,9 @@ unwind_protect_int (structure_indent_level); unwind_protect_int (user_pref.struct_levels_to_print); - if (user_pref.struct_levels_to_print > 0) + if (user_pref.struct_levels_to_print-- > 0) { - user_pref.struct_levels_to_print--; + output_buf << "{\n"; increment_structure_indent_level (); @@ -1798,9 +1798,7 @@ output_buf.form ("%*s%s = ", structure_indent_level, "", key); - if (print_as_structure (val)) - output_buf << "{\n"; - else if (! print_as_scalar (val)) + if (! (print_as_scalar (val) || print_as_structure (val))) output_buf << "\n"; val.print (output_buf);