diff options
Diffstat (limited to 'src/tools/wasm-opt.cpp')
| -rw-r--r-- | src/tools/wasm-opt.cpp | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/tools/wasm-opt.cpp b/src/tools/wasm-opt.cpp index 24ea9c31c..ecf4f1c7c 100644 --- a/src/tools/wasm-opt.cpp +++ b/src/tools/wasm-opt.cpp @@ -377,8 +377,7 @@ int main(int argc, const char* argv[]) { auto secondOutput = runCommand(extraFuzzCommand); std::cout << "[extra-fuzz-command second output:]\n" << firstOutput << '\n'; if (firstOutput != secondOutput) { - std::cerr << "extra fuzz command output differs\n"; - abort(); + Fatal() << "extra fuzz command output differs\n"; } } return 0; |