2 files changed, 3 insertions, 0 deletions
diff --git a/src/tools/wasm-dis.cpp b/src/tools/wasm-dis.cpp
index d874b24aa..da1a56b6b 100644
--- a/src/tools/wasm-dis.cpp
+++ b/src/tools/wasm-dis.cpp
@@ -63,9 +63,11 @@ int main(int argc, const char *argv[]) {
     }
   } catch (ParseException& p) {
     p.dump(std::cerr);
+    std::cerr << '\n';
     Fatal() << "error in parsing wasm binary";
   } catch (MapParseException& p) {
     p.dump(std::cerr);
+    std::cerr << '\n';
     Fatal() << "error in parsing wasm source mapping";
   }
 
diff --git a/src/tools/wasm-opt.cpp b/src/tools/wasm-opt.cpp
index d6ce53c26..a82dc4a2f 100644
--- a/src/tools/wasm-opt.cpp
+++ b/src/tools/wasm-opt.cpp
@@ -127,6 +127,7 @@ int main(int argc, const char* argv[]) {
       reader.read(options.extra["infile"], wasm);
     } catch (ParseException& p) {
       p.dump(std::cerr);
+      std::cerr << '\n';
       Fatal() << "error in parsing input";
     } catch (std::bad_alloc& b) {
       Fatal() << "error in building module, std::bad_alloc (possibly invalid request for silly amounts of memory)";