diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2015-04-24 21:37:36 -0700 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2015-04-24 21:37:36 -0700 |
| commit | fb4836dc0f9dc84afa0b133c4e6ab1ad61653961 (patch) | |
| tree | dd0afc6ffba375f756157895876c9eeee2af29b5 /cpp/020run | |
| parent | e26a1c859352421eaa7232987739ed5e8c79ce3f (diff) | |
| download | mu-fb4836dc0f9dc84afa0b133c4e6ab1ad61653961.tar.gz | |
1183
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) |