diff src/pt-pr-code.h @ 3933:f9ea3dcf58ee

[project @ 2002-05-15 03:21:00 by jwe]
author jwe
date Wed, 15 May 2002 03:21:01 +0000
parents 61d4427c016e
children 6e86256e9c54
line wrap: on
line diff
--- a/src/pt-pr-code.h	Tue May 07 18:10:44 2002 +0000
+++ b/src/pt-pr-code.h	Wed May 15 03:21:01 2002 +0000
@@ -155,14 +155,11 @@
   // TRUE means we are at the beginning of a line.
   bool beginning_of_line;
 
-  void reset_indent_level (void)
-    { curr_print_indent_level = 0; }
+  void reset_indent_level (void) { curr_print_indent_level = 0; }
 
-  void increment_indent_level (void)
-    { curr_print_indent_level += 2; }
+  void increment_indent_level (void) { curr_print_indent_level += 2; }
 
-  void decrement_indent_level (void)
-    { curr_print_indent_level -= 2; }
+  void decrement_indent_level (void) { curr_print_indent_level -= 2; }
 
   void newline (void);