Index: src/prettyprinter.h |
=================================================================== |
--- src/prettyprinter.h (revision 4955) |
+++ src/prettyprinter.h (working copy) |
@@ -110,7 +110,7 @@ |
void inc_indent() { indent_++; } |
void dec_indent() { indent_--; } |
- static int indent_; |
+ int indent_; |
}; |