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]); |