diff options
Diffstat (limited to 'cpp/020run')
| -rw-r--r-- | cpp/020run | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/cpp/020run b/cpp/020run index 2d5d6228..178ff506 100644 --- a/cpp/020run +++ b/cpp/020run @@ -110,6 +110,7 @@ if (!Run_tests) { //? Trace_stream->dump_layer = "all"; //? 1 if (r) run(r); dump_memory(); + teardown(); } :(code) |