diff --git a/include/loki/Checker.h b/include/loki/Checker.h index 1d9c5b0..c88966f 100644 --- a/include/loki/Checker.h +++ b/include/loki/Checker.h @@ -524,7 +524,9 @@ public: { assert( Check() ); if ( 0 != m_pre ) + { assert( ( m_host->*( m_pre ) )() ); + } } /** The destructor checks if any Host invariants failed, and then calls the @@ -535,7 +537,9 @@ public: { assert( Check() ); if ( 0 != m_post ) + { assert( ( m_host->*( m_post ) )() ); + } assert( Ep::Check( m_host ) ); }