# HG changeset patch
# User Tom Goff <tgoff@tgoff.net>
# Date 1332491582 14400
# Node ID 715b25bff41d95709f1cdcc184c548eefe176e4b
# Parent  64726e51f2687845e342b27056aa7e88280b48cb
bug 1000: typo in FlushStreams

diff -r 64726e51f268 -r 715b25bff41d src/core/model/fatal-impl.cc
--- a/src/core/model/fatal-impl.cc	Fri Mar 23 08:38:57 2012 +0100
+++ b/src/core/model/fatal-impl.cc	Fri Mar 23 04:33:02 2012 -0400
@@ -107,7 +107,7 @@
 FlushStreams (void)
 {
   std::list<std::ostream*> **pl = PeekStreamList ();
-  if (pl == 0)
+  if (*pl == 0)
     {
       return;
     }