# HG changeset patch
# User jwe
# Date 816382255 0
# Node ID 9cdb0a266fd9dcd76fcc098d65272a1caee5eff0
# Parent  b0b22b6ce22f2f4a1f766276cedb70286f0f67a2
[project @ 1995-11-14 20:50:55 by jwe]

diff -r b0b22b6ce22f -r 9cdb0a266fd9 src/pt-exp-base.cc
--- a/src/pt-exp-base.cc	Tue Nov 14 20:27:50 1995 +0000
+++ b/src/pt-exp-base.cc	Tue Nov 14 20:50:55 1995 +0000
@@ -2928,6 +2928,7 @@
     {
       increment_indent_level ();
       cmd_list->print_code (os);
+      decrement_indent_level ();
     }
 
   print_code_function_trailer (os);