diff options
-rwxr-xr-x | toolbin/squeeze2text.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/toolbin/squeeze2text.py b/toolbin/squeeze2text.py index 0f533d204..685044f00 100755 --- a/toolbin/squeeze2text.py +++ b/toolbin/squeeze2text.py | |||
@@ -58,6 +58,7 @@ if __name__ == '__main__': | |||
58 | # characters. | 58 | # characters. |
59 | f = io.TextIOWrapper( sys.stdin.buffer, encoding='latin_1') | 59 | f = io.TextIOWrapper( sys.stdin.buffer, encoding='latin_1') |
60 | progress_n_next = 0 | 60 | progress_n_next = 0 |
61 | memento_n = None | ||
61 | 62 | ||
62 | def print_progress(): | 63 | def print_progress(): |
63 | print( 'memento_n=%s. num_segv=%s num_leak=%s' % ( | 64 | print( 'memento_n=%s. num_segv=%s num_leak=%s' % ( |