diff options
-rw-r--r-- | subx/028translate.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/subx/028translate.cc b/subx/028translate.cc index 4c2ba133..f2db1bbc 100644 --- a/subx/028translate.cc +++ b/subx/028translate.cc @@ -20,6 +20,7 @@ if (is_equal(argv[1], "translate")) { START_TRACING_UNTIL_END_OF_SCOPE; assert(argc > 3); + reset(); program p; ifstream fin(argv[2]); if (!fin) { |