From 0fbd80a0b1328950bb5f9aa6d58711d5476c2035 Mon Sep 17 00:00:00 2001
From: Alex Groce <agroce@gmail.com>
Date: Mon, 27 Aug 2018 09:02:50 -0700
Subject: [PATCH] less confusing output for assumes

---
 src/include/deepstate/Stream.hpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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);
     }