| Index: src/native_client/src/trusted/service_runtime/sel_main.c
|
| diff --git a/src/native_client/src/trusted/service_runtime/sel_main.c b/src/native_client/src/trusted/service_runtime/sel_main.c
|
| index 1495100f4daf72d3a69ef7f604c27ae4f28956ea..badd0c5d88f29f4ef976b707887fc0b8f4dc1ab9 100644
|
| --- a/src/native_client/src/trusted/service_runtime/sel_main.c
|
| +++ b/src/native_client/src/trusted/service_runtime/sel_main.c
|
| @@ -693,8 +693,6 @@ int main(int ac,
|
| fflush(stdout);
|
| }
|
|
|
| - NaClAppDtor(&state);
|
| -
|
| done_file_dtor:
|
| if ((*((struct Gio *) &gf)->vtbl->Close)((struct Gio *) &gf) == -1) {
|
| fprintf(stderr, "Error while closing \"%s\".\n", av[optind]);
|
|
|