diff --git a/src/QuickCheckVEngine/MainHelpers.hs b/src/QuickCheckVEngine/MainHelpers.hs
index 0710d60..3998845 100644
--- a/src/QuickCheckVEngine/MainHelpers.hs
+++ b/src/QuickCheckVEngine/MainHelpers.hs
@@ -212,8 +212,7 @@ prop connA m_connB alive onFail arch delay verbosity saveDir ignoreAsserts stric
         -- We don't want to shrink once one of the implementations has died,
         -- so always return that the property is true
         onSubsequentDeaths _ = do
-          putStrLn "Warning: reporting success since implementations not running"
-          return $ property True
+          return $ property Discard
 
 -- | Send a sequence of instructions ('[DII_Packet]') to the implementations
 --   running behind the two provided 'Sockets's and recieve their respective