1 files changed, 7 insertions, 1 deletions
diff --git a/src/tools/wasmdump.cc b/src/tools/wasmdump.cc
index fc1b3cd6..37651277 100644
--- a/src/tools/wasmdump.cc
+++ b/src/tools/wasmdump.cc
@@ -194,7 +194,7 @@ done:
   return result;
 }
 
-int main(int argc, char** argv) {
+int ProgramMain(int argc, char** argv) {
   init_stdio();
 
   parse_options(argc, argv);
@@ -216,3 +216,9 @@ int main(int argc, char** argv) {
 
   return 0;
 }
+
+int main(int argc, char** argv) {
+  WABT_TRY
+  return ProgramMain(argc, argv);
+  WABT_CATCH_BAD_ALLOC_AND_EXIT
+}