diff options
| -rw-r--r-- | util/output.hh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/util/output.hh b/util/output.hh index f4f939f..fa81127 100644 --- a/util/output.hh +++ b/util/output.hh @@ -34,6 +34,10 @@ inline void colour_if_pretty(bool pretty, std::ostream &stream, if(pretty) stream << "\033[" + what + ";1m"; } +/*! Reset all formatting on +stream+ if +pretty+. + * @param pretty Whether to act. + * @param stream The stream on which to reset formatting. + */ inline void reset_if_pretty(bool pretty, std::ostream &stream) { if(pretty) stream << "\033[0m"; } |