It should look like:

                /// <summary>
               /// public virtual void Destroy(object O)
                /// </summary>
                /// <param name = "O">object</param>
        public virtual void Destroy(object O)
        {
            try
            {
                m_container.Mockery.VerifyAllExpectationsHaveBeenMet()
+;
            }
            finally
            {
                m_container = null;
            }
        }
[download]