diff options
Diffstat (limited to 'compiler/oops/include/oops/UserExn.h')
-rw-r--r-- | compiler/oops/include/oops/UserExn.h | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/compiler/oops/include/oops/UserExn.h b/compiler/oops/include/oops/UserExn.h index d0138322d..84a6b81eb 100644 --- a/compiler/oops/include/oops/UserExn.h +++ b/compiler/oops/include/oops/UserExn.h @@ -72,7 +72,9 @@ private: out << pepper::str(attr, " = ", val); } - void build_info(std::stringstream &) { /* empty */} + void build_info(std::stringstream &) + { /* empty */ + } // when only one info of string is provided void build_info(std::stringstream &out, const std::string &val) { out << val; } |