From 75a76c3663a9eb23d3d708e4fce9bb002967f3bc Mon Sep 17 00:00:00 2001
From: Giovanni Bussi <giovanni.bussi@gmail.com>
Date: Wed, 21 Nov 2018 09:25:52 +0100
Subject: [PATCH] missing space in error message
---
src/core/PlumedMain.cpp | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/core/PlumedMain.cpp b/src/core/PlumedMain.cpp
index e8739d5a0..75342dcc8 100644
--- a/src/core/PlumedMain.cpp
+++ b/src/core/PlumedMain.cpp
@@ -118,7 +118,7 @@ static void testThrow(const char* what) {
throw std::ios_base::failure(what);
}
- plumed_error() << "unknown exception" << what;
+ plumed_error() << "unknown exception " << what;
}
PlumedMain::PlumedMain():
--
GitLab