diff --git a/src/include/deepstate/Stream.hpp b/src/include/deepstate/Stream.hpp index f5bf58c..e2db526 100644 --- a/src/include/deepstate/Stream.hpp +++ b/src/include/deepstate/Stream.hpp @@ -41,7 +41,7 @@ class Stream { DEEPSTATE_INLINE ~Stream(void) { if (do_log) { if (!has_something_to_log) { - DeepState_StreamCStr(level, "Condition failed"); + DeepState_StreamCStr(level, "Checked condition"); } DeepState_LogStream(level); }