--- a/src/types.cpp Thu Oct 03 21:48:11 2013 +0300 +++ b/src/types.cpp Sat Oct 05 12:51:13 2013 +0300 @@ -411,9 +411,7 @@ // ============================================================================= // ----------------------------------------------------------------------------- bool File::atEnd() const -{ if (!m_textstream) - fatal ("cannot use atEnd on a null file"); - +{ assert (m_textstream != null); return m_textstream->atEnd(); }